Vera Stebletsova

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

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

Coauthor Index

Last update Tue May 21 05:49:03 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page