PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Libal, Tomer"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Advanced Proof Viewing in ProofTool.

, , und . UITP, Volume 167 von EPTCS, Seite 35-47. (2014)

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.

Keine Personen gefunden für den Autorennamen Libal, Tomer
Eine Person hinzufügen mit dem Namen Libal, Tomer
 

Weitere Publikationen von Autoren mit dem selben Namen

Bounded Higher-order Unification using Regular Terms.. UNIF, Volume 24 von EPiC Series in Computing, Seite 28-49. EasyChair, (2012)Automated Reasoning in Normative Detachment Structures with Ideal Conditions., und . CoRR, (2018)A Simple Semi-automated Proof Assistant for First-order Modal Logics.. ARQNL@IJCAR, Volume 2095 von CEUR Workshop Proceedings, Seite 34-48. CEUR-WS.org, (2018)A Resolution Calculus for Second-order Logic with Eager Unification., und . PAAR@IJCAR, Volume 21 von EPiC Series in Computing, Seite 95. EasyChair, (2012)A general proof certification framework for modal logic., und . CoRR, (2018)NAI: The Normative Reasoner., und . ICAIL, Seite 262-263. ACM, (2019)PROOFTOOL: a GUI for the GAPT Framework., , , , , , und . UITP, Volume 118 von EPTCS, Seite 1-14. (2012)Determinism in the Certification of UNSAT Proofs., und . PxTP, Volume 262 von EPTCS, Seite 55-76. (2017)Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers., und . PAAR@IJCAR, Volume 1635 von CEUR Workshop Proceedings, Seite 82-94. CEUR-WS.org, (2016)System Description: The Proof Transformation System CERES., , , , und . IJCAR, Volume 6173 von Lecture Notes in Computer Science, Seite 427-433. Springer, (2010)