| 2009 |
|---|
| 7 | EE | Francisco Javier López-Fraguas,
Juan Rodríguez-Hortalá,
Jaime Sánchez-Hernández:
A flexible framework for programming with non-deterministicfunctions.
PEPM 2009: 91-100 |
| 6 | EE | Francisco Javier López-Fraguas,
Juan Rodríguez-Hortalá,
Jaime Sánchez-Hernández:
A Lightweight Combination of Semantics for Non-deterministic Functions
CoRR abs/0903.2205: (2009) |
| 2008 |
|---|
| 5 | EE | Francisco Javier López-Fraguas,
Juan Rodríguez-Hortalá,
Jaime Sánchez-Hernández:
Rewriting and Call-Time Choice: The HO Case.
FLOPS 2008: 147-162 |
| 4 | EE | Juan Rodríguez-Hortalá:
A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems.
FSTTCS 2008 |
| 3 | EE | Juan Rodríguez-Hortalá,
Jaime Sánchez-Hernández:
Functions and Lazy Evaluation in Prolog.
Electr. Notes Theor. Comput. Sci. 206: 153-174 (2008) |
| 2007 |
|---|
| 2 | EE | Francisco Javier López-Fraguas,
Juan Rodríguez-Hortalá,
Jaime Sánchez-Hernández:
A simple rewrite notion for call-time choice semantics.
PPDP 2007: 197-208 |
| 1 | EE | Francisco Javier López-Fraguas,
Juan Rodríguez-Hortalá,
Jaime Sánchez-Hernández:
Equivalence of Two Formal Semantics for Functional Logic Programs.
Electr. Notes Theor. Comput. Sci. 188: 117-142 (2007) |
