Lenguajes y Sistemas Informáticos
Departamento
Elvira
Pino
Publicaciones en las que colabora con Elvira Pino (9)
2020
-
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
-
Institutions for navigational logics for graphical structures
Theoretical Computer Science, Vol. 741, pp. 19-24
-
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
-
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
-
Semantics of structured normal logic programs
Journal of Logic and Algebraic Programming, Vol. 81, Núm. 5, pp. 559-584
2008
-
A functorial framework for constraint normal logic programming
Applied Categorical Structures, Vol. 16, Núm. 3, pp. 421-450
2006
-
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)
-
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
-
Algebraic framework for the definition of compositional semantics of normal logic programs
Journal of Logic Programming, Vol. 40, Núm. 1, pp. 89-123