( en | de | ru )

 

Disambiguierung von "Paleo, Bruno Woltzenlogel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Epsilon Terms in Intuitionistic Sequent Calculus.

, und . FLAP, (2017)

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.

Joannis Paleos

Konstantina Paleologou

Horst Bruno

Horst Bruno

Eugen Bruno

 

Weitere Publikationen von Autoren mit dem selben Namen

Physics and proof theory.. Appl. Math. Comput., 219 (1): 45-53 (2012)Greedy pebbling for proof space compression., und . Int. J. Softw. Tools Technol. Transf., 21 (1): 71-86 (2019)Transforming and Analyzing Proofs in the CERES-System., , , und . LPAR Workshops, Volume 418 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning., und . J. Autom. Reason., 60 (2): 133-156 (2018)Complexity of translations from resolution to sequent calculus., und . Math. Struct. Comput. Sci., 29 (8): 1061-1091 (2019)Epsilon Terms in Intuitionistic Sequent Calculus., und . FLAP, (2017)Herbrand Sequent Extraction., , , und . AISC/MKM/Calculemus, Volume 5144 von Lecture Notes in Computer Science, Seite 462-477. Springer, (2008)Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic.. Ershov Memorial Conference, Volume 9609 von Lecture Notes in Computer Science, Seite 314-324. Springer, (2015)NP-completeness of small conflict set generation for congruence closure., , und . Formal Methods Syst. Des., 51 (3): 533-544 (2017)Towards CERes in intuitionistic logic., , und . CSL, Volume 16 von LIPIcs, Seite 485-499. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)