Name Card

Full name Familienname, Vorname
Rukhaia, Mikheil
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-5 of 5 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Leitsch, Alexander ; Dunchev, Tsvetan ; Weller, Daniel ; Rukhaia, Mikheil Ceres for First-Order SchemataPreprint Preprint2013
2Rukhaia, Mikheil CERES in proof schemataThesis Hochschulschrift2012
3Dunchev, Cvetan ; Leitsch, Alexander ; Libal, Tomer ; Riener, Martin ; Rukhaia, Mikheil ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno System feature description: importing refutations into the GAPT frameworkKonferenzbeitrag Inproceedings2012
4Rukhaia, Mikheil CERES for Propositional Proof SchemataPräsentation Presentation2011
5Rukhaia, Mikheil CERES and fast cut-eliminationThesis Hochschulschrift2009