My picture

Mikheil Rukhaia

Researcher
Institute of Applied Mathematics,
Tbilisi State University.

E-mail:mrukhaia [at] logic.at
Address:University str. 2, VIAM, 0186 Tbilisi, Georgia

For more information about me see my Curriculum Vitae.


Projects


Talks


2013

2012

2011

2009

2006


Publications


2014

2013

PhD Thesis

CERES in Proof Schemata, Vienna University of Technology, 2012. [pdf]
A revised version, About Cut-Elimination in Schematic Proofs, is published by Lambert Academic Publishing as a monograph in 2013. [poster] [online]

2012

Masters Thesis

CERES and Fast Cut-Elimination, Vienna University of Technology, 2009. [poster]
A revised version is published by VDM Verlag Dr. Müller as a monograph in 2011. [online]

2009