Publicaciones en las que colabora con Elvira Pino (9)

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. Satisfiability of constraint specifications on XML documents

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

2012

  1. Semantics of structured normal logic programs

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

2008

  1. A functorial framework for constraint normal logic programming

    Applied Categorical Structures, Vol. 16, Núm. 3, pp. 421-450

2006

  1. A functrial framework for constraint normal logic programming

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

  2. 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)

1999

  1. Algebraic framework for the definition of compositional semantics of normal logic programs

    Journal of Logic Programming, Vol. 40, Núm. 1, pp. 89-123