Full name Familienname, Vorname
Dunchev, Tsvetan Chavdarov
 

Results 1-1 of 1 (Search time: 0.001 seconds).

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