Universidad Complutense de Madrid
E-Prints Complutense

IndexAuthor

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

Nieva Soto, Susana and Leach Albert, Javier (2001) A higher-order logic programming language with constraints. Lecture Notes in Computer Science, 2024 . pp. 108-122. ISSN 0302-9743

Leach Albert, Javier and Nieva Soto, Susana and Rodríguez-Artalejo, Mario (2001) Constraint Logic Programming with Hereditary Harrop formulas. Theory and Practice of Logic Programming, 1 (4). pp. 409-445. ISSN 1471-0684

Leach Albert, Javier and Nieva Soto, Susana and Rodríguez-Artalejo , Mario (1997) Constraint logic programming with hereditary Harrop formulas. In Logic programming. Proceedings of the international symposium (ILPS’97). MIT Press, Cambridge, Port Washington, New York, pp. 307-321. ISBN 0-262-63180-6

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

Nieva Soto, Susana and Lipton, James (2007) Higher-order logic programming languages with constraints: A semantics. In Typed lambda calculi and applications. Lecture Notes in Computer Science (4583). Springer Verlag Berlín, Berlii, pp. 272-289. ISBN 978-3-540-73227-3

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

Leach Albert, Javier and Nieva Soto, Susana (1992) MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions. In LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning. Lecture Notes in Computer Science (624). Springer Verlag , New York, pp. 481-483. ISBN 3-540-55727-X

Leach Albert, Javier and Nieva Soto, Susana (1992) MIZ-PR: A theorem prover for polymorphic and recursive functions. Lecture Notes in Computer Science, 624 . pp. 481-483. ISSN 0302-9743

Aranda López, Gabriel and Nieva Soto, Susana and Sáenz Pérez, Fernando and Sánchez Hernández, Jaime (2013) R-SQL: An SQL Database System with Extended Recursion. In XIII Spanish Conference on Programmingand Computer Languages(PROLE 2013), September18 to 20, 2013, Madrid, Spain,.

Nieva Soto, Susana (2015) Una lógica computacional con polimorfismo y recursión y un sistema de deducción automática basado en ella. [Thesis]

This list was generated on Sat May 25 15:33:34 2019 CEST.