 | 2009 |
|---|
| 19 |       | 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 |
| 18 | | Gabriel Aranda-López,
Susana Nieva,
Fernando Sáenz-Pérez,
Jaime Sánchez-Hernández:
Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas.
PPDP 2009: 117-128 |
| 17 | | Francisco Javier López-Fraguas,
Juan Rodríguez-Hortalá,
Jaime Sánchez-Hernández:
A Fully Abstract Semantics for Constructor Systems.
RTA 2009: 320-334 |
| 16 | | 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 |
|---|
| 15 | | 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 |
| 14 | | 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 |
| 13 | | 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 |
|---|
| 12 | | Francisco Javier López-Fraguas,
Juan Rodríguez-Hortalá,
Jaime Sánchez-Hernández:
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics.
INAP/WLP 2007: 206-222 |
| 11 | | 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 | | 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 | | 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 | | 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 | | Francisco Javier López-Fraguas,
Jaime Sánchez-Hernández:
Narrowing Failure in Functional Logic Programming.
FLOPS 2002: 212-227 |
| 2001 |
|---|
| 5 | | 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 | | 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 | | 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 | | Francisco Javier López-Fraguas,
Jaime Sánchez-Hernández:
TOY: A Multiparadigm Declarative System.
RTA 1999: 244-247 |
