dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Eugenio G. Omodeo (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Formisano, Eugenio G. Omodeo: Theory-Specific Automated Reasoning. 25 Years GULP 2010: 37-63
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Formisano, Eugenio G. Omodeo, Ewa Orlowska: An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 89-104
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgostino Dovier, Andrea Formisano, Eugenio G. Omodeo: Decidability results for sets with atoms. ACM Trans. Comput. Log. 7(2): 269-301 (2006)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Formisano, Eugenio G. Omodeo, Alberto Policriti: The axiom of elementary sets on the edge of Peircean expressibility. J. Symb. Log. 70(3): 953-968 (2005)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Formisano, Eugenio G. Omodeo, Alberto Policriti: Three-variable statements of set-pairing. Theor. Comput. Sci. 322(1): 147-173 (2004)
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Costantini, Andrea Formisano, Eugenio G. Omodeo: Mappings Between Domain Models in Answer Set Programming. APPIA-GULP-PRODE 2003: 147-158
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Costantini, Andrea Formisano, Eugenio G. Omodeo: Mappings Between Domain Models in Answer Set Programming. Answer Set Programming 2003
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDomenico Cantone, Andrea Formisano, Eugenio G. Omodeo, Calogero G. Zarba: Compiling dyadic first-order specifications into map algebra. Theor. Comput. Sci. 293(2): 447-475 (2003)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Formisano, Eugenio G. Omodeo, Marco Temperini: Instructing Equational Set-Reasoning with Otter. IJCAR 2001: 152-167
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Formisano, Eugenio G. Omodeo, Marta Simeoni: A graphical approach to relational reasoning. Electr. Notes Theor. Comput. Sci. 44(3): 153-174 (2001)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Formisano, Eugenio G. Omodeo, Marco Temperini: Layered map reasoning: An experimental approach put to trial on sets. Electr. Notes Theor. Comput. Sci. 48: 1-28 (2001)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Formisano, Eugenio G. Omodeo, Marco Temperini: Goals and Benchmarks for Automated Map Reasoning. J. Symb. Comput. 29(2): 259-297 (2000)
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Formisano, Eugenio G. Omodeo, Marco Temperini: Plan of Activities on the Map Calculus. APPIA-GULP-PRODE 1998: 343-356
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Formisano, Eugenio G. Omodeo: An Equational Re-engineering of Set Theories. FTP (LNCS Selection) 1998: 175-190

Selection of 14 from 45 records - Eugenio G. Omodeo has 19 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page