According to our database1, Tomer Libal authored at least 16 papers between 2010 and 2018.
Legend:Book In proceedings Article PhD thesis Other
A Simple Semi-automated Proof Assistant for First-order Modal Logics.
Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), 2018
Determinism in the Certification of UNSAT Proofs.
Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, 2017
Certification of Prefixed Tableau Proofs for Modal Logic.
Proceedings of the Seventh International Symposium on Games, 2016
Functions-as-Constructors Higher-Order Unification.
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016
Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers.
Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), 2016
Proving Determinacy of the PharOS Real-Time Operating System.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016
The Proof Certifier Checkers.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015
Defining the meaning of TPTP formatted proofs.
Proceedings of the IWIL@LPAR 2015, 2015
Regular Patterns in Second-Order Unification.
Proceedings of the Automated Deduction - CADE-25, 2015
Advanced Proof Viewing in ProofTool.
Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics.
Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014
Understanding Resolution Proofs through Herbrand's Theorem.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013
PROOFTOOL: a GUI for the GAPT Framework.
Proceedings of the Proceedings 10th International Workshop On User Interfaces for Theorem Provers, 2012
Bounded Higher-order Unification using Regular Terms.
Proceedings of the UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, 2012
A Resolution Calculus for Second-order Logic with Eager Unification.
Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012
System Description: The Proof Transformation System CERES.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010