2009 |
16 | 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 |
15 | 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 |
14 | 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 |
13 | EE | Susana Nieva,
Jaime Sánchez-Hernández,
Fernando Sáenz-Pérez:
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation.
FLOPS 2008: 289-304 |
12 | 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 |
11 | 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 |
10 | 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) |
2006 |
9 | EE | Jaime Sánchez-Hernández:
Constructive Failure in Functional-Logic Programming: From Theory to Implementation.
J. UCS 12(11): 1574-1593 (2006) |
2004 |
8 | | Francisco Javier López-Fraguas,
Jaime Sánchez-Hernández:
A Proof Theoretic Approach to Failure in Functional Logic Programming.
TPLP 4(1-2): 41-74 (2004) |
2003 |
7 | EE | Francisco Javier López-Fraguas,
Jaime Sánchez-Hernández:
Failure and equality in functional logic programming.
Electr. Notes Theor. Comput. Sci. 86(3): (2003) |
2002 |
6 | EE | Francisco Javier López-Fraguas,
Jaime Sánchez-Hernández:
Narrowing Failure in Functional Logic Programming.
FLOPS 2002: 212-227 |
2001 |
5 | EE | Jesús Manuel Almendros-Jiménez,
Antonio Becerra-Terón,
Jaime Sánchez-Hernández:
A Computational Model for Functional Logic Deductive Databases.
ICLP 2001: 331-347 |
4 | EE | Francisco Javier López-Fraguas,
Jaime Sánchez-Hernández:
Functional Logic Programming with Failure: A Set-Oriented View.
LPAR 2001: 455-469 |
2000 |
3 | EE | Francisco Javier López-Fraguas,
Jaime Sánchez-Hernández:
Proving Failure in Functional Logic Programs.
Computational Logic 2000: 179-193 |
1999 |
2 | | Francisco Javier López-Fraguas,
Jaime Sánchez-Hernández:
Disequalities May Help to Narrow.
APPIA-GULP-PRODE 1999: 89-104 |
1 | EE | Francisco Javier López-Fraguas,
Jaime Sánchez-Hernández:
TOY: A Multiparadigm Declarative System.
RTA 1999: 244-247 |