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: 2.

López-Fraguas, Francisco and Rodríguez-Hortalá, Juan and Sánchez-Hernández,, Jaime (2009) Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. In APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT. Lecture Notes in Computer Science (5437). Springer, Berlin, pp. 206-222. ISBN 978-3-642-00674-6

López-Fraguas, Francisco and Martín-Martín, Enrique and Rodríguez-Hortalá, Juan (2010) New Results on Type Systems for Functional Logic Programming. In Functional and Constraint Logic Programming. Lecture Notes in Computer Science (5979). Springer, Berlin, pp. 128-144. ISBN 978-3-642-11998-9

This list was generated on Sun Dec 8 02:24:54 2019 CET.