Eugenio G. Omodeo

发表

Andrea Formisano, Alberto Policriti, Eugenio G. Omodeo, 2002, APPIA-GULP-PRODE.
Gianfranco Rossi, Alberto Policriti, Eugenio G. Omodeo, 1993, GULP.
Alexandru I. Tomescu, Eugenio G. Omodeo, Jacob T. Schwartz, 2007 .
Domenico Cantone, Eugenio G. Omodeo, Andrea De Domenico, 2020, CILC.
Andrea Formisano, Alberto Policriti, Eugenio G. Omodeo, 2004, Theor. Comput. Sci..
Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz, 2011 .
Domenico Cantone, Alberto Policriti, Eugenio G. Omodeo, 2016, Martin Davis on Computability, Computational Logic, and Mathematical Foundations.
Eugenio G. Omodeo, 1986, Foundations of Logic and Functional Programming.
Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz, 2011 .
Domenico Cantone, Alberto Policriti, Eugenio G. Omodeo, 2004, Journal of Automated Reasoning.
Andrea Formisano, Marco Temperini, Eugenio G. Omodeo, 2000, J. Symb. Comput..
Eugenio G. Omodeo, Susanna Ghelfo, 1985, European Conference on Computer Algebra.
Andrea Formisano, Eugenio G. Omodeo, 1998, FTP.
Domenico Cantone, Alberto Policriti, Eugenio G. Omodeo, 2001 .
Eugenio G. Omodeo, Alberto Casagrande, Francesco Di Cosmo, 2018, SETS@ABZ.
Domenico Cantone, Alberto Policriti, Eugenio G. Omodeo, 2001 .
Alberto Policriti, Eugenio G. Omodeo, Franco Parlamento, 2006 .
Andrea Formisano, Alberto Policriti, Eugenio G. Omodeo, 2005, J. Symb. Log..
Alberto Policriti, Alexandru I. Tomescu, Eugenio G. Omodeo, 2017, Math. Struct. Comput. Sci..
Domenico Cantone, Alberto Policriti, Eugenio G. Omodeo, 2001 .
Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo, 1997, APPIA-GULP-PRODE.
Eugenio G. Omodeo, 1995, JFPLC.
Agostino Dovier, Andrea Formisano, Eugenio G. Omodeo, 2006, TOCL.
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi, 1993, ICLP Workshop on Logic Programming with Sets.
Alberto Policriti, Alexandru I. Tomescu, Eugenio G. Omodeo, 2017 .
Stefania Costantini, Pasquale Caianiello, Eugenio G. Omodeo, 2003, Theory and Applications of Relational Structures as Knowledge Instruments.
Domenico Cantone, Andrea Formisano, Eugenio G. Omodeo, 2003 .
Domenico Cantone, Eugenio G. Omodeo, Susanna Ghelfo, 1988, J. Symb. Comput..
Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti, 2001 .
Eugenio G. Omodeo, E. Omodeo, 2016, Martin Davis on Computability, Computational Logic, and Mathematical Foundations.
Ernst-Erich Doberkat, Eugenio G. Omodeo, 2001, Electron. Notes Theor. Comput. Sci..
Domenico Cantone, Alberto Policriti, Eugenio G. Omodeo, 2001 .
Domenico Cantone, Alberto Policriti, Eugenio G. Omodeo, 2006, Reasoning, Action and Interaction in AI Theories and Systems.
Andrea Formisano, Marco Temperini, Eugenio G. Omodeo, 2001, IJCAR.
Andrea Formisano, Eugenio G. Omodeo, E. Omodeo, 2010, 25 Years GULP.
Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo, 2012, CILC.
Alexandru I. Tomescu, Eugenio G. Omodeo, E. Omodeo, 2012, Journal of Automated Reasoning.
Domenico Cantone, Eugenio G. Omodeo, 1989, IJCAI.
Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere, 2020, ICTCS.
Ernst-Erich Doberkat, Eugenio G. Omodeo, E. Doberkat, 2001, RelMiS.
Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz, 2003, Verification: Theory and Practice.
Eugenio G. Omodeo, Luca Vallata, 2015, CILC.
Alberto Policriti, Alexandru I. Tomescu, Eugenio G. Omodeo, 2017 .
Alberto Policriti, Ewa Orlowska, Eugenio G. Omodeo, 2003, RelMiCS.
Alberto Policriti, Eugenio G. Omodeo, Franco Parlamento, 1993, J. Symb. Comput..
Alberto Policriti, Alexandru I. Tomescu, Eugenio G. Omodeo, 2012, J. Log. Comput..
Domenico Cantone, Alfredo Ferro, Eugenio G. Omodeo, 2018 .
Andrea Formisano, Ewa Orlowska, Eugenio G. Omodeo, 2006, Theory and Applications of Relational Structures as Knowledge Instruments.
Agostino Dovier, Alberto Policriti, Eugenio G. Omodeo, 1999, Applicable Algebra in Engineering, Communication and Computing.
Alexandru I. Tomescu, Eugenio G. Omodeo, Pierpaolo Calligaris, 2013, CILC.
Eugenio G. Omodeo, Alberto Casagrande, 2014, ICTCS.
Carla Piazza, Alberto Policriti, Alexandru I. Tomescu, 2014, CILC.
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi, 1991, ICLP.
Rodica Ceterchi, Alexandru I. Tomescu, Eugenio G. Omodeo, 2014, CILC.
Domenico Cantone, Alberto Policriti, Eugenio G. Omodeo, 2001 .
Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo, 2003, Answer Set Programming.
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi, 1992, ELP.
Andrea Formisano, Marta Simeoni, Eugenio G. Omodeo, 2001, Electron. Notes Theor. Comput. Sci..
Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz, 2011 .
Andrea Formisano, Marco Temperini, Eugenio G. Omodeo, 1998, APPIA-GULP-PRODE.
Alberto Policriti, Eugenio G. Omodeo, 1993, DISCO.
Alberto Policriti, Eugenio G. Omodeo, Franco Parlamento, 1990, ECAI.
Alberto Policriti, Alexandru I. Tomescu, Eugenio G. Omodeo, 2017 .
Eugenio G. Omodeo, Jacob T. Schwartz, J. Schwartz, 2002, Computational Logic: Logic Programming and Beyond.
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi, 1996, J. Log. Program..
Domenico Cantone, Alberto Policriti, Eugenio G. Omodeo, 2001 .
Domenico Cantone, Eugenio G. Omodeo, Andrea De Domenico, 2019, CILC.
Alberto Policriti, Alexandru I. Tomescu, Eugenio G. Omodeo, 2017 .
Agostino Dovier, Gianfranco Rossi, Alberto Policriti, 1994, GULP-PRODE.
Domenico Cantone, Alberto Policriti, Eugenio G. Omodeo, 2001 .
Domenico Cantone, Alberto Policriti, Eugenio G. Omodeo, 2001 .
Alberto Policriti, Eugenio G. Omodeo, 2016, Outstanding Contributions to Logic.
Andrea Formisano, Marco Temperini, Eugenio G. Omodeo, 2001, APPIA-GULP-PRODE.
Calogero G. Zarba, Domenico Cantone, Andrea Formisano, 2003, Theor. Comput. Sci..
Alberto Policriti, Alexandru I. Tomescu, Eugenio G. Omodeo, 2015, Fundam. Informaticae.
Ernst-Erich Doberkat, Eugenio G. Omodeo, E. Doberkat, 2004, Theor. Comput. Sci..
Domenico Cantone, Eugenio G. Omodeo, Pietro Ursino, 1999, APPIA-GULP-PRODE.
Eugenio G. Omodeo, 2013, CILC.
Domenico Cantone, Eugenio G. Omodeo, Gaetano T. Spartà, 2020, CILC.
Agostino Dovier, Gianfranco Rossi, Eugenio G. Omodeo, 1993, ICLP Workshop on Logic Programming with Sets.
Domenico Cantone, Marianna Nicolosi Asmundo, Andrea Formisano, 2012, RAIRO Theor. Informatics Appl..
Domenico Cantone, Alberto Policriti, Eugenio G. Omodeo, 2001, Monographs in Computer Science.
Alfredo Ferro, Eugenio G. Omodeo, Jacob T. Schwartz, 1980, CADE.
Alexandru I. Tomescu, Eugenio G. Omodeo, E. Omodeo, 2015, J. Log. Comput..
Andrea Formisano, Alberto Policriti, Eugenio G. Omodeo, 2018 .
Domenico Cantone, Eugenio G. Omodeo, Alberto Casagrande, 2019, CILC.
Alberto Policriti, Eugenio G. Omodeo, E. Omodeo, 2010, The Journal of Symbolic Logic.
Stefania Costantini, Pasquale Caianiello, Eugenio G. Omodeo, 2002, APPIA-GULP-PRODE.
Eugenio G. Omodeo, Andrea De Domenico, Pietro Maugeri, 2021, Fundam. Informaticae.
Domenico Cantone, Eugenio G. Omodeo, Pietro Maugeri, 2021, ICTCS.
Eugenio G. Omodeo, Gianluca Cincotti, Gaetano T. Spartà, 2021, ICTCS.
Eugenio G. Omodeo, Mattia Panettiere, Domenico Cantone, 2021, CILC.
Domenico Cantone, Eugenio G. Omodeo, 1989 .
Domenico Cantone, Alberto Policriti, Eugenio G. Omodeo, 2011 .
Andrea Formisano, Marco Temperini, Eugenio G. Omodeo, 1998 .
Alberto Policriti, Alexandru I. Tomescu, Eugenio G. Omodeo, 2010 .