Vera Stebletsova

According to our database, Vera Stebletsova authored at least 6 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Lean Formalization of Completeness Proof for Coalition Logic with Common Knowledge.

Kai Obendrauf, Anne Baanen, Patrick Koopmann, Vera Stebletsova

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2001

Undecidable Theories of Lyndon Algebras.

Vera Stebletsova, Yde Venema

J. Symb. Log., 2001

2000

Weakly Associative Relation Algebras with Polyadic Composition Operations.

Vera Stebletsova

Stud Logica, 2000

1997

Axioms for Jonsson's Q-Algebras.

Vera Stebletsova, Yde Venema

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.

Vera Stebletsova

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.

Johan van Benthem, Jan van Eijck, Vera Stebletsova

J. Log. Comput., 1994