Complutense University Library

IndexAuthor

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

López-Fraguas, F.J. and Rodríguez-Hortalá, Juan and Sánchez-Hernández, Jaime (2009) A Fully Abstract Semantics for Constructor Systems. In Rewriting Techniques and Applications. Lecture Notes in Computer Science (5595). Springer, Berlin, pp. 320-334. ISBN 978-3-642-02347-7

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

López-Fraguas, Francisco Javier and Rodríguez-Hortalá, Juan and Sánchez-Hernández, Jaime (2008) Rewriting and call-time choice: The HO case. In Functional and Logic Programming. Lecture Notes in Computer Science (4989). Springer, Berlin, pp. 147-162. ISBN 978-3-540-78968-0

This list was generated on Thu Oct 23 02:59:21 2014 CEST.