Author:Mariami Gamsakhurdia

Publications
Towards a Proof-Theoretic Analysis of Incorrect/Incomplete Proofs Matthias Baaz and Mariami Gamsakhurdia In:Proceedings of 16th International Workshop on the Implementation on Logics. Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (short papers)
First-Order Tableaux with Unification for Henkin Quantifiers Matthias Baaz, Mariami Gamsakhurdia, Anela Lolic and Stella Mahler In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning