Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Greedy pebbling for proof space compression., und . STTT, 21 (1): 71-86 (2019)Physics and proof theory.. Applied Mathematics and Computation, 219 (1): 45-53 (2012)Higher-Order Modal Logics: Automation and Applications., und . Reasoning Web, Volume 9203 von Lecture Notes in Computer Science, Seite 32-74. Springer, (2015)Transforming and Analyzing Proofs in the CERES-System., , , und . LPAR Workshops, Volume 418 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)Epsilon Terms in Intuitionistic Sequent Calculus., und . FLAP, (2017)Compression of Propositional Resolution Proofs via Partial Regularization., , und . CADE, Volume 6803 von Lecture Notes in Computer Science, Seite 237-251. Springer, (2011)Herbrand Sequent Extraction., , , und . AISC/MKM/Calculemus, Volume 5144 von Lecture Notes in Computer Science, Seite 462-477. Springer, (2008)Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers., und . ECAI, Volume 263 von Frontiers in Artificial Intelligence and Applications, Seite 93-98. IOS Press, (2014)Complexity of translations from resolution to sequent calculus., und . Mathematical Structures in Computer Science, 29 (8): 1061-1091 (2019)NP-completeness of small conflict set generation for congruence closure., , und . Formal Methods in System Design, 51 (3): 533-544 (2017)