Mikheil Rukhaia

According to our database, Mikheil Rukhaia authored at least 5 papers between 2012 and 2023.

Collaborative distances:

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

2023

Project Presentation: Recursive Functions and Engineering Probabilistic Ontologies.

Irakli O. Chitaia, Roland Sh. Omanadze, Mikheil Rukhaia

Proceedings of the 19th IEEE International Conference on e-Science, 2023

2019

Unranked Nominal Unification.

Besik Dundua, Temur Kutsia, Mikheil Rukhaia

Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019

2013

Cut-Elimination and Proof Schemata.

Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia, Daniel Weller

Proceedings of the Logic, Language, and Computation, 2013

Understanding Resolution Proofs through Herbrand's Theorem.

Stefan Hetzl, Tomer Libal, Martin Riener, Mikheil Rukhaia

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

2012

System Feature Description: Importing Refutations into the GAPT Framework.

Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo

Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, 2012