Marco Caminati

Available identifiers

Publication	Date of Publication	Type
Isabelle formalisation of original representation theorems	2024-02-28	Paper
A verified algorithm enumerating event structures	2017-07-21	Paper
Pseudo-canonical formulae are classical	2017-01-06	Paper
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?	2014-08-07	Paper
Preliminaries to classical first-order model theory	2013-12-03	Paper
First order languages: further syntax and semantics	2013-12-03	Paper
Definition of first-order language with arbitrary alphabet. Syntax of terms, atomic formulas and their subterms	2013-12-03	Paper
Free interpretation, quotient interpretation and substitution of a letter with a term for first-order languages	2013-12-03	Paper
Sequent calculus, derivability, provability. Gödel's completeness theorem	2013-12-03	Paper
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory	2013-08-09	Paper
Custom automations in Mizar	2013-04-17	Paper
A simplified framework for first-order languages and its formalization in Mizar	2012-05-19	Paper
https://portal.mardi4nfdi.de/entity/Q3075243	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

This page was built for person: Marco Caminati