Tomer Libal

From MaRDI portal
Person:2134935

Available identifiers

zbMath Open libal.tomerMaRDI QIDQ2134935

List of research outcomes





PublicationDate of PublicationType
A Meta-level Annotation Language for Legal Texts2022-08-30Paper
Towards an Executable Methodology for the Formalization of Legal Texts2022-08-30Paper
Functions-as-constructors higher-order unification: extended pattern unification2022-05-04Paper
Certification of prefixed tableau proofs for modal logic2021-12-07Paper
A general proof certification framework for modal logic2019-10-09Paper
Functions-as-constructors Higher-order Unification2017-10-17Paper
The Proof Certifier Checkers2015-12-11Paper
Regular patterns in second-order unification2015-12-02Paper
Understanding Resolution Proofs through Herbrand’s Theorem2013-10-04Paper
System Description: The Proof Transformation System CERES2010-09-14Paper

Research outcomes over time

This page was built for person: Tomer Libal

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2134935&oldid=6654201"
Powered by MediaWiki