MARIA LUISA
NAVARRO GOMEZ
Forscher/in in der Zeit 1990-2019
Elvira
Pino
Publikationen, an denen er mitarbeitet 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)