Marco Bright Caminati

Available identifiers

zbMath Open caminati.marco-brightMaRDI QIDQ1945909

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marco Bright Caminati