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

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

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

Riesco Rodríguez, Adrián and Rodríguez-Hortalá, Juan (2010) Programming with Singular and Plural Non-deterministic Functions. In PEPM '10: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM. ACM, New York, pp. 83-92. ISBN 978-1-60558-727-1

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 Wed Oct 16 05:27:31 2019 CEST.