MSc thesis of Παναγιώτης Τσατσάνης
Cut Elimination in Deep Inference
Supervisors: Γεώργιος Κολέτσος, Γιώργος Σταυρινός
Defended: 22 Νοεμβρίου 2011.You are here: Theses » MSc » Παναγιώτης Τσατσάνης |
Supervisors: Γεώργιος Κολέτσος, Γιώργος Σταυρινός
Defended: 22 Νοεμβρίου 2011.