( en | de | ru )

 

Disambiguierung von "Omodeo, Eugenio G."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Preface.

, , und . Fundam. Informaticae, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Eugenio Rivera

Eugenio Fava

Eugenio Amato

Eugenio Polito

Eugenio Corecco

 

Weitere Publikationen von Autoren mit dem selben Namen

Rasiowa-Sikorski Style Relational Elementary Set Theory., , und . RelMiCS, Volume 3051 von Lecture Notes in Computer Science, Seite 215-226. Springer, (2003)An Environment for Stepwise Map Specification and Reasoning in Prolog I: Three Language Extension Mechanisms., , und . APPIA-GULP-PRODE, Seite 87-. Facultad de Informática, Universidad Politécnica de Madrid, (2002)Set-syllogistics meet combinatorics., , und . Math. Struct. Comput. Sci., 27 (2): 296-310 (2017)Theory-Specific Automated Reasoning., und . 25 Years GULP, Volume 6125 von Lecture Notes in Computer Science, Springer, (2010)Automation of Aggregate Theories: The Cornerstones of Equational Expressibility., , und . APPIA-GULP-PRODE, Seite 275-. Facultad de Informática, Universidad Politécnica de Madrid, (2002)Instructing Equational Set-Reasoning with Otter., , und . IJCAR, Volume 2083 von Lecture Notes in Computer Science, Seite 152-167. Springer, (2001)Mapping Sets and Hypersets into Numbers., , , und . Fundam. Informaticae, 140 (3-4): 307-328 (2015)Set Graphs. V. On representing graphs as membership digraphs., und . J. Log. Comput., 25 (3): 899-919 (2015)Decidability of ∃*∀-Sentences in Membership Theories., , und . Math. Log. Q., (1996)The Bernays - Schönfinkel - Ramsey class for set theory: decidability., und . J. Symb. Log., 77 (3): 896-918 (2012)