Vera Stebletsova

	2001
5		Vera Stebletsova, Yde Venema: Undecidable Theories of Lyndon Algebras. J. Symb. Log. 66(1): 207-224 (2001)
	2000
4		Vera Stebletsova: Weakly Associative Relation Algebras with Polyadic Composition Operations. Studia Logica 66(2): 297-323 (2000)
	1997
3		Vera Stebletsova, Yde Venema: Axioms for Jonsson's Q-Algebras. RelMiCS 1997: 215-224
2		Vera Stebletsova: Weakly Assoclative Relation Algebras with Polyadic Compositlons. RelMiCS 1997: 369-375
	1994
1		Johan van Benthem, Jan van Eijck, Vera Stebletsova: Modal Logic, Transition Systems and Processes. J. Log. Comput. 4(5): 811-855 (1994)

Coauthor Index

1	Johan van Benthem	[1]
2	Jan van Eijck	[1]
3	Yde Venema	[3] [5]

Colors in the list of coauthors