Tomer Libal

From MaRDI portal
Revision as of 01:33, 25 September 2023 by Import230924090903 (talk | contribs) (Created automatically from import230924090903)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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
https://portal.mardi4nfdi.de/entity/Q50152832021-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