| |
| 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) | |
| 1 | Johan van Benthem | [1] |
| 2 | Jan van Eijck | [1] |
| 3 | Yde Venema | [3] [5] |