# Tomer Libal

According to our database

Collaborative distances:

^{1}, Tomer Libal authored at least 16 papers between 2010 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

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

2017

Determinism in the Certification of UNSAT Proofs.

Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, 2017

2016

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

2015

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

2014

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

2013

Understanding Resolution Proofs through Herbrand's Theorem.

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

2012

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

2010

System Description: The Proof Transformation System CERES.

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010