Universidad Complutense de Madrid
E-Prints Complutense


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

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

Rodríguez-Artalejo, Mario and Gónzalez Calero, Pedro Antonio and Gómez Martín, Marco Antonio (2011) Estructuras de datos: un enfoque moderno. . Editorial Complutense, Madrid.

This list was generated on Fri Feb 28 11:11:13 2020 CET.