Marco Bright 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
Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms	2013-12-03	Paper
First Order Languages: Further Syntax and Semantics	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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marco Bright Caminati