Name Card

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

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Leitsch, Alexander ; Libal, Tomer ; Riener, Martin ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Dunchev, Tsvetan Prooftool: a GUI for the GAPT FrameworkKonferenzbeitrag Inproceedings 2013
2Leitsch, Alexander ; Dunchev, Tsvetan ; Weller, Daniel ; Rukhaia, Mikheil Ceres for First-Order SchemataPreprint Preprint2013
3Leitsch, Alexander ; Dunchev, Tsvetan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Libal, Tomer System Description: The Proof Transformation System CERESKonferenzbeitrag Inproceedings2010