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

Fernando Orejas (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


100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas: Dual Systems of Tableaux and Sequents for PLTL. J. Log. Algebr. Program. 78(8): 701-722 (2009)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino: A Functorial Framework for Constraint Normal Logic Programming. Applied Categorical Structures 16(3): 421-450 (2008)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas: A Cut-Free and Invariant-Free Sequent Calculus for PLTL. CSL 2007: 481-495
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaqui Lucio, Fernando Orejas: Preface. Electr. Notes Theor. Comput. Sci. 188: 1-2 (2007)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino: A Functorial Framework for Constraint Normal Logic Programming. Essays Dedicated to Joseph A. Goguen 2006: 555-577
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Álvez, Paqui Lucio, Fernando Orejas: Constructive negation by bottom-up computation of literal answers. SAC 2004: 1468-1475
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaqui Lucio, Fernando Orejas, Elvira Pino: An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs. J. Log. Program. 40(1): 89-124 (1999)
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaqui Lucio, Fernando Orejas, Elvira Pino: A Monotonic Declarative Semantics for Normal Logic Programs. APPIA-GULP-PRODE 1997: 271-282

Selection of 8 from 125 records - Fernando Orejas has 66 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