Font size: Αα Αα Αα hide gadgets
You are here: Theses » MSc » Panagiotis Tsatsanis Anonymously browsing from at 11:29:34, 21-04-2019. login

MSc thesis of Panagiotis Tsatsanis

Cut Elimination in Deep Inference

Supervisors: Georgios Koletsos, Yiorgos Stavrinos

Defended: Nov. 22, 2011.


Download thesis.


Page updates

No recent updates.

Feeds RSS and Atom feeds

all posts RSS
news RSS
announcements RSS
website news RSS
all events RSS
defenses RSS
exams RSS
seminars RSS
graduations RSS
Web standards: XHTML1.0, CSS3.
© 1996 – 2019 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.