MARIA LUISA
NAVARRO GOMEZ
Investigador/a en el periodo 1990-2019
Elvira
Pino
Publicaciones en las que colabora con Elvira Pino (6)
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
2006
-
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)