( en | de | ru )

 

Disambiguierung von "Hetzl, Stefan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Cut-Elimination: Experiments with CERES.

, , , , und . LPAR, Volume 3452 von Lecture Notes in Computer Science, Seite 481-495. Springer, (2004)

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.

Stefan Hetzl

Peter Hetzl

Birgit Hetzl

Stephan Hetzler

Benjamin Hetzler

 

Weitere Publikationen von Autoren mit dem selben Namen

Tree Grammars for the Elimination of Non-prenex Cuts., und . CSL, Volume 41 von LIPIcs, Seite 110-127. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)The Computational Content of Arithmetical Proofs.. Notre Dame J. Formal Log., 53 (3): 289-296 (2012)Cut-Elimination: Experiments with CERES., , , , und . LPAR, Volume 3452 von Lecture Notes in Computer Science, Seite 481-495. Springer, (2004)On the Completeness of Interpolation Algorithms., und . LICS, Seite 45:1-45:13. ACM, (2024)A Sequent Calculus with Implicit Term Representation.. CSL, Volume 6247 von Lecture Notes in Computer Science, Seite 351-365. Springer, (2010)On the form of witness terms.. Arch. Math. Log., 49 (5): 529-554 (2010)CERES in higher-order logic., , und . Ann. Pure Appl. Log., 162 (12): 1001-1034 (2011)Induction and Skolemization in saturation theorem proving., und . Ann. Pure Appl. Log., 174 (1): 103167 (2023)Towards Algorithmic Cut-Introduction., , und . LPAR, Volume 7180 von Lecture Notes in Computer Science, Seite 228-242. Springer, (2012)Understanding Resolution Proofs through Herbrand's Theorem., , , und . TABLEAUX, Volume 8123 von Lecture Notes in Computer Science, Seite 157-171. Springer, (2013)