Vera Stebletsova - Research output - Vrije Universiteit Amsterdam

View Scopus Profile

Emailv.n.stebletsovavunl

1 Conference contribution

1 results

Filter

2024
Lean Formalization of Completeness Proof for Coalition Logic with Common Knowledge
Obendrauf, K., Baanen, A., Koopmann, P. & Stebletsova, V., Sept 2024, 15th International Conference on Interactive Theorem Proving (ITP 2024) : [Proceedings]. Bertot, Y., Kutsia, T. & Norrish, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-18 18 p. 28. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 309).
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Open Access