- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| i2 |      | Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández: Rewriting and narrowing for constructor systems with call-time choice semantics. CoRR abs/1209.2617 (2012) |
| 2009 | ||
| c13 | | 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 |
| c12 | | 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 |
| c11 | | 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 |
| i1 | | 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 | ||
| j5 | | Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández: Functions and Lazy Evaluation in Prolog. Electr. Notes Theor. Comput. Sci. 206: 153-174 (2008) |
| c10 | | 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 |
| c9 | | 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 |
| 2007 | ||
| j4 | | 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) |
| c8 | | 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 |
| c7 | | 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 |
| 2006 | ||
| j3 | | Jaime Sánchez-Hernández: Constructive Failure in Functional-Logic Programming: From Theory to Implementation. J. UCS 12(11): 1574-1593 (2006) |
| 2004 | ||
| j2 | | 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 | ||
| j1 | | Francisco Javier López-Fraguas, Jaime Sánchez-Hernández: Failure and equality in functional logic programming. Electr. Notes Theor. Comput. Sci. 86(3): 123-143 (2003) |
| 2002 | ||
| c6 | | Francisco Javier López-Fraguas, Jaime Sánchez-Hernández: Narrowing Failure in Functional Logic Programming. FLOPS 2002: 212-227 |
| 2001 | ||
| c5 | | 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 |
| c4 | | Francisco Javier López-Fraguas, Jaime Sánchez-Hernández: Functional Logic Programming with Failure: A Set-Oriented View. LPAR 2001: 455-469 |
| 2000 | ||
| c3 | | Francisco Javier López-Fraguas, Jaime Sánchez-Hernández: Proving Failure in Functional Logic Programs. Computational Logic 2000: 179-193 |
| 1999 | ||
| c2 |  | Francisco Javier López-Fraguas, Jaime Sánchez-Hernández: Disequalities May Help to Narrow. APPIA-GULP-PRODE 1999: 89-104 |
| c1 | | Francisco Javier López-Fraguas, Jaime Sánchez-Hernández: TOY: A Multiparadigm Declarative System. RTA 1999: 244-247 |
| 1 | Jesús Manuel Almendros-Jiménez | |
| 2 | Gabriel Aranda-López | |
| 3 | Antonio Becerra-Terón | |
| 4 | Francisco Javier López-Fraguas | |
| 5 | Enrique Martin-Martin | |
| 6 | Susana Nieva | |
| 7 | Juan Rodríguez-Hortalá | |
| 8 | Fernando Sáenz-Pérez |
Colors in the list of coauthors
Last update Fri May 24 23:33:04 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page