IndexAuthor

Number of items: 5.

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

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

This list was generated on Sun Aug 1 02:53:11 2021 CEST.