Name Card

Full name Familienname, Vorname
Dunchev, Tsvetan Chavdarov
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Dunchev Tsvetan Chavdarov - 2012 - Automation of cut-elimination in proof...pdf.jpgDunchev, Tsvetan Chavdarov Automation of cut-elimination in proof schemataThesis Hochschulschrift 2012
2Dunchev Tsvetan Chavdarov - 2009 - Simplification of Herbrand sequents.pdf.jpgDunchev, Tsvetan Chavdarov Simplification of Herbrand sequentsThesis Hochschulschrift 2009