Marco Caminati

MaRDI QIDQ1945909zbMATH OpenFDO

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
O₂ is a multiple context-free grammar: an implementation-, formalisation-friendly proof	2025-01-31	Paper
Isabelle formalisation of original representation theorems Lecture Notes in Computer Science	2024-02-28	Paper
A verified algorithm enumerating event structures	2017-07-21	Paper
A verified algorithm enumerating event structures (available as arXiv preprint)	2017-07-21	Paper
Pseudo-canonical formulae are classical Formalized Mathematics	2017-01-06	Paper
Set theory or higher order logic to represent auction concepts in Isabelle? Lecture Notes in Computer Science	2014-08-07	Paper
Preliminaries to classical first-order model theory Formalized Mathematics	2013-12-03	Paper
First order languages: further syntax and semantics Formalized Mathematics	2013-12-03	Paper
Definition of first-order language with arbitrary alphabet. Syntax of terms, atomic formulas and their subterms Formalized Mathematics	2013-12-03	Paper
Free interpretation, quotient interpretation and substitution of a letter with a term for first-order languages Formalized Mathematics	2013-12-03	Paper
Sequent calculus, derivability, provability. Gödel's completeness theorem Formalized Mathematics	2013-12-03	Paper
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory Lecture Notes in Computer Science	2013-08-09	Paper
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory Lecture Notes in Computer Science	2013-08-09	Paper
Custom automations in Mizar Journal of Automated Reasoning	2013-04-17	Paper
A simplified framework for first-order languages and its formalization in Mizar	2012-05-19	Paper
Basic first-order model theory in Mizar	2011-02-10	Paper
Yet another proof of Goedel's completeness theorem for first-order classical logic	2009-10-11	Paper
An upper bound on the number of zeros of a piecewise polinomial function	2008-10-15	Paper

Research outcomes over time

This page was built for person: Marco Caminati