Publicaciones en las que colabora con MARIA LUISA NAVARRO GOMEZ (21)

2020

  1. Incremental concurrent model synchronization using triple graph grammars

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2018

  1. Institutions for navigational logics for graphical structures

    Theoretical Computer Science, Vol. 741, pp. 19-24

  2. Towards a navigational logic for graphical structures

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Verlag), pp. 124-141

2015

  1. Preface

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  2. Preface

    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE

  3. Satisfiability of constraint specifications on XML documents

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2013

  1. Invariant-free clausal temporal resolution

    Journal of Automated Reasoning, Vol. 50, Núm. 1, pp. 1-49

2012

  1. Semantics of structured normal logic programs

    Journal of Logic and Algebraic Programming, Vol. 81, Núm. 5, pp. 559-584

2010

  1. Translating propositional extended conjunctions of Horn clauses into Boolean circuits

    Theoretical Computer Science, Vol. 411, Núm. 16-18, pp. 1723-1733

2009

  1. Dual Systems of Tableaux and Sequents for PLTL

    Journal of Logic and Algebraic Programming, Vol. 78, Núm. 8, pp. 701-722

2008

  1. Systematic Semantic Tableaux for PLTL

    Electronic Notes in Theoretical Computer Science, Vol. 206, Núm. C, pp. 59-73

2007

  1. A cut-free and invariant-free sequent calculus for PLTL

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2006

  1. A transformational semantics of static embedded implications of normal logic pro

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2005

  1. Goals in the prepositional Horn⊃ language are monotone Boolean circuits

    Lecture Notes in Computer Science

1999

  1. A strong logic programming view for static embedded implications

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1997

  1. Reconocimiento de dígitos en formularios: una solución en dos fases

    Informática y automática: revista de la Asociación Española de Informática y Automática, Vol. 30, Núm. 3, pp. 34-41

  2. Segmentación de dígitos mecanografiados en formularios de baja calidad

    III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic]

1996

  1. Algebraic implementation of abstract data types: A survey of concepts and new compositionality results

    Mathematical Structures in Computer Science, Vol. 6, Núm. 1, pp. 33-67

1995

  1. On the correctness of modular systems

    Theoretical Computer Science, Vol. 140, Núm. 1, pp. 139-177

1993

  1. Contextual rewriting as a sound and complete proof method for conditional LOG-specifications

    Acta Informatica, Vol. 30, Núm. 2, pp. 147-180