Full name Familienname, Vorname
Dunchev, Cvetan
 

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

PreviewAuthor(s)TitleTypeIssue Date
1Dunchev, Cvetan ; Leitsch, Alexander ; Libal, Tomer ; Riener, Martin ; Rukhaia, Mikheil ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno System feature description: importing refutations into the GAPT frameworkKonferenzbeitrag Inproceedings2012