Complutense University Library


Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 2.

Nieva Soto, Susana and Sánchez-Hernández, Jaime and Sáenz-Pérez, Fernando (2008) Formalizing a constraint deductive database language based on hereditary harrop formulas with negation. In Functional and logic programming. Lecture Notes in Computer Science, 4989 . Springer-Verlag Berlín, Berlín, pp. 289-304. ISBN 978-3-540-78968-0

Aranda-López , Gabriel and Nieva Soto, Susana and Sáenz-Pérez, Fernando and Sánchez-Hernández, Jaime (2009) Implementing a Fixpoint Semantics for a Constraint Deductive Database based on Hereditary Harrop Formulas. In PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming. Assoc Computing Machinery, New York, USA, pp. 117-128. ISBN 978-1-60558-568-0

This list was generated on Thu Feb 11 03:24:27 2016 CET.