Name Card

Full name Familienname, Vorname
Cerna, David Michael
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Cerna-2021-Journal of Automated Reasoning-vor.pdf.jpgCerna, David M. ; Leitsch, Alexander ; Lolic, Anela Schematic Refutations of Formula SchemataArtikel Article Jun-2021
2Cerna, David ; Leitsch, Alexander ; Lolic, Anela Schematic Refutations of Formula SchemataPreprint Preprint2019
3Leitsch, Alexander ; Cerna, David Analysis of Clause set Schema Aided by Automated Theorem Proving: {A} Case Study [Extended Paper]Preprint Preprint2015
4Cerna David Michael - 2015 - Advances in schematic cut elimination.pdf.jpgCerna, David Michael Advances in schematic cut eliminationThesis Hochschulschrift 2015
5Cerna, David Integer Sequences, Recursive Lemma Elimination and CombinatoricsPräsentation Presentation2014
6Cerna, David Towards Powerful and Decidable Formalizations Through Schematic RepresentationPräsentation Presentation2013