OMODEO, EUGENIO

OMODEO, EUGENIO  

Dipartimento di Matematica, Informatica e Geoscienze  

Collaboratori  

Mostra records
Risultati 1 - 20 di 92 (tempo di esecuzione: 0.021 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 decidable theory involving addition of differentiable real functions 1-gen-2023 Omodeo E. +
A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals 1-gen-2020 Eugenio Omodeo +
A Decidable Theory Treating Addition of Differentiable Real Functions. 1-gen-2021 Eugenio Omodeo +
A derived algorithm for evaluating epsilon-expressions over abstract sets 1-gen-1993 OMODEO, EUGENIO +
A Diophantine representation of Wolstenholme's pseudoprimality 1-gen-2015 OMODEO, EUGENIO +
A graphical approach to relational reasoning 1-gen-2001 OMODEO, EUGENIO +
A graphical representation of relational formulae with complementation 1-gen-2012 OMODEO, EUGENIO +
A language for programming in logic with finite sets 1-gen-1996 OMODEO, EUGENIO +
A proof-checking experiment on representing graphs as membership digraphs 1-gen-2013 OMODEO, EUGENIO +
A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF 1-gen-2020 Eugenio Omodeo +
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 +
An equational re-engineering of set theories 1-gen-2000 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 +
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