Vera Stebletsova

Affiliations:
  • VU University Amsterdam, Netherlands


According to our database1, Vera Stebletsova authored at least 5 papers between 1994 and 2001.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2001
Undecidable Theories of Lyndon Algebras.
J. Symb. Log., 2001

2000
Weakly Associative Relation Algebras with Polyadic Composition Operations.
Stud Logica, 2000

1997
Axioms for Jonsson's Q-Algebras.
Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

Weakly Assoclative Relation Algebras with Polyadic Compositlons.
Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

1994
Modal Logic, Transition Systems and Processes.
J. Log. Comput., 1994


  Loading...