Browsing by Author

Showing results 1 to 1 of 1
PreviewAuthors / EditorsTitleTypeIssue Date
Dunchev Tsvetan Chavdarov - 2012 - Automation of cut-elimination in proof...pdf.jpgDunchev, Tsvetan Chavdarov Automation of cut-elimination in proof schemataThesis Hochschulschrift 2012