Complutense University Library

IndexAuthor

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

López Fraguas, Francisco and Martin Martin, Enrique and Rodríguez Hortalá, Juan (2010) Liberal Typing for Functional Logic Programs. Lecture Notes in Computer Science (6461). pp. 80-96. ISSN 0302-9743

Rodríguez Hortalá, Juan (2010) Programming with non-determinism: a rewriting based approach = Programación con indeterminismo: un enfoque basado en reescritura. [Thesis]

Rodríguez Hortalá, Juan (2008) Rewriting and call-time choice. In Ciclo de conferencias de la Facultad de Informática 2007/2008, 12 de mayo de 2008, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Submitted)

López Fraguas, Francisco J. and Martín Martín, Enrique and Rodríguez Hortalá, Juan and Sánchez Hernández, Jaime (2014) Rewriting and narrowing for constructor systems with call-time choice semantics. Theory and Practice of Logic Programming, March (14.2). pp. 165-213. ISSN 1471-0684

López Fraguas, Francisco J. and Martín Martín, Enrique and Rodríguez Hortalá, Juan (2014) Safe typing of functional logic programs with opaque patterns and local bindings. Information and Computation, 235 . pp. 36-69. ISSN 0890-5401

This list was generated on Tue Jul 26 03:41:15 2016 CEST.