MSc thesis of Γεωργίου Τσοτάκου
A linear analysis of classical proofs
Supervisors: Γεώργιος Κολέτσος, Γιώργος Σταυρινός
Defended: 01 Οκτωβρίου 2005.You are here: Theses » MSc » Γεώργιος Τσοτάκος |
Supervisors: Γεώργιος Κολέτσος, Γιώργος Σταυρινός
Defended: 01 Οκτωβρίου 2005.