Diseño y análisis formal de sistemas de software
FADOSS
Universidad de Almería
Almería, EspañaPublicaciones en colaboración con investigadores/as de Universidad de Almería (5)
2012
-
A declarative embedding of XQuery in a functional-logic language
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
XPath query processing in a functional-logic language
Electronic Notes in Theoretical Computer Science
2011
-
XQuery in the functional-logic language toy
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006
2001
-
A computational model for functional logic deductive databases
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)