OMODEO, EUGENIO

OMODEO, EUGENIO  

Collaboratori  

Mostra records
Risultati 1 - 20 di 91 (tempo di esecuzione: 0.032 secondi).
Titolo Data di pubblicazione Autori File
A `Theory' mechanism for a proof verifier based on first-order set theory 1-gen-2002 OMODEO, EUGENIO +
A computerized Referee 1-gen-2006 OMODEO, EUGENIO +
A derived algorithm for evaluating epsilon-expressions over abstract sets 1-gen-1993 OMODEO, EUGENIO +
A graphical approach to relational reasoning 1-gen-2001 OMODEO, EUGENIO +
A language for programming in logic with finite sets 1-gen-1996 OMODEO, EUGENIO +
Algebraic semantics of ER-models in the context of the calculus of relations. II: Dynamic view. 1-gen-2002 OMODEO, EUGENIO +
An environment for specifying properties of dyadic relations and reasoning about them. I: Language extension mechanisms. 1-gen-2003 OMODEO, EUGENIO +
An environment for specifying properties of dyadic relations and reasoning about them. II: Relational presentation of non-classical logics. 1-gen-2006 OMODEO, EUGENIO +
Automation of aggregate theories: The cornerstones of equational expressibility. 1-gen-2002 OMODEO, EUGENIO +
Banishing Ultrafilters from Our Consciousness 1-gen-2016 OMODEO, EUGENIO +
The Bernays-Schönfinkel-Ramsey class for set theory: decidability. 1-gen-2012 OMODEO, EUGENIO +
Bisimilarity, hypersets and stable partitioning: a survey 1-gen-2010 OMODEO, EUGENIO
Can a Single Equation Witness that every r.e. Set Admits a Finite-fold Diophantine Representation? 1-gen-2018 Domenico CantoneEugenio Omodeo
Compiling dyadic first-order specifications into map algebra 1-gen-2003 OMODEO, EUGENIO +
Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case 1-gen-2021 Omodeo E. +
Complexity assessments for decidable fragments of set theory. II: A taxonomy for ‘small’ languages involving membership 1-gen-2020 Omodeo, Eugenio +
Computable Set Theory, vol. I 1-gen-1989 OMODEO, EUGENIO +
Computational Logic and Set Theory -- Applying Formalized Logic to Analysis 1-gen-2011 OMODEO, EUGENIO +
Cumulative hierarchies and computability over universes of sets. 1-gen-2008 CHIARUTTINI, CLAUDIOOMODEO, EUGENIO +
Decidability of E*A-sentences in membership theories 1-gen-1996 OMODEO, EUGENIO +