Tomer Libal

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A Meta-level Annotation Language for Legal Texts Lecture Notes in Computer Science	2022-08-30	Paper
Towards an Executable Methodology for the Formalization of Legal Texts Lecture Notes in Computer Science	2022-08-30	Paper
Functions-as-constructors higher-order unification: extended pattern unification Annals of Mathematics and Artificial Intelligence	2022-05-04	Paper
Certification of prefixed tableau proofs for modal logic	2021-12-07	Paper
Certification of prefixed tableau proofs for modal logic (available as arXiv preprint)	2021-12-07	Paper
A general proof certification framework for modal logic Mathematical Structures in Computer Science	2019-10-09	Paper
Functions-as-constructors Higher-order Unification	2017-10-17	Paper
The Proof Certifier Checkers Lecture Notes in Computer Science	2015-12-11	Paper
Regular patterns in second-order unification Automated Deduction - CADE-25	2015-12-02	Paper
Understanding Resolution Proofs through Herbrand’s Theorem Lecture Notes in Computer Science	2013-10-04	Paper
System Description: The Proof Transformation System CERES Automated Reasoning	2010-09-14	Paper

Research outcomes over time

This page was built for person: Tomer Libal