( en | de | ru )

 

Disambiguierung von "Paleo, Bruno Woltzenlogel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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)

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

Eugen Bruno

Horst Bruno

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Towards CERes in intuitionistic logic., , und . CSL, Volume 16 von LIPIcs, Seite 485-499. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)System Feature Description: Importing Refutations into the GAPT Framework., , , , , , und . PxTP, Volume 878 von CEUR Workshop Proceedings, Seite 51-57. CEUR-WS.org, (2012)Complexity of translations from resolution to sequent calculus., und . Math. Struct. Comput. Sci., 29 (8): 1061-1091 (2019)Transforming and Analyzing Proofs in the CERES-System., , , und . LPAR Workshops, Volume 418 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)Herbrand Sequent Extraction., , , und . AISC/MKM/Calculemus, Volume 5144 von Lecture Notes in Computer Science, Seite 462-477. Springer, (2008)Atomic Cut Introduction by Resolution: Proof Structuring and Compression.. LPAR (Dakar), Volume 6355 von Lecture Notes in Computer Science, Seite 463-480. Springer, (2010)Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses., und . CADE, Volume 9195 von Lecture Notes in Computer Science, Seite 356-366. Springer, (2015)Stablecoins: Past, Present, and Future., , , und . FC Workshops, Volume 13953 von Lecture Notes in Computer Science, Seite 197-207. Springer, (2023)Scavenger 0.1: A Theorem Prover Based on Conflict Resolution., , und . CADE, Volume 10395 von Lecture Notes in Computer Science, Seite 344-356. Springer, (2017)