×

zbMATH — the first resource for mathematics

Sánchez-Hernández, Jaime

Compute Distance To:
Author ID: sanchez-hernandez.jaime Recent zbMATH articles by "Sánchez-Hernández, Jaime"
Published as: Sánchez-Hernández, J.; Sánchez-Hernández, Jaime
External Links: ORCID
Documents Indexed: 15 Publications since 2000

Publications by Year

Citations contained in zbMATH

10 Publications have been cited 24 times in 18 Documents Cited by Year
A proof theoretic approach to failure in functional logic programming. Zbl 1085.68021
López-Fraguas, Francisco J.; Sánchez-Hernández, Jaime
5
2004
Proving failure in functional logic programs. Zbl 0983.68503
López-Fraguas, Francisco J.; Sánchez-Hernández, Jaime
4
2000
Rewriting and call-time choice: The HO case. Zbl 1137.68338
López-Fraguas, Francisco Javier; Rodríguez-Hortalá, Juan; Sánchez-Hernández, Jaime
3
2008
Equivalence of two formal semantics for functional logic programs. Zbl 1278.68051
López-Fraguas, F. J.; Rodríguez-Hortalá, J.; Sánchez-Hernández, J.
3
2007
A fully abstract semantics for constructor systems. Zbl 1242.68137
López-Fraguas, Francisco Javier; Rodríguez-Hortalá, Juan; Sánchez-Hernández, Jaime
2
2009
Formalizing a constraint deductive database language based on hereditary Harrop formulas with negation. Zbl 1137.68339
Nieva, Susana; Sánchez-Hernández, Jaime; Sáenz-Pérez, Fernando
2
2008
Functional logic programming with failure: a set-oriented view. Zbl 1275.68047
López-Fraguas, F. J.; Sánchez-Hernández, J.
2
2001
Failure and equality in functional logic programming. Zbl 1270.68061
López-Fraguas, F. J.; Sánchez-Hernández, J.
1
2003
Narrowing failure in functional logic programming. Zbl 1019.68018
López-Fraguas, Francisco Javier; Sánchez-Hernández, Jaime
1
2002
A computational model for functional logic deductive databases. Zbl 1053.68563
Almendros-Jiménez, Jesús M.; Becerra-Terón, Antonio; Sánchez-Hernández, Jaime
1
2001
A fully abstract semantics for constructor systems. Zbl 1242.68137
López-Fraguas, Francisco Javier; Rodríguez-Hortalá, Juan; Sánchez-Hernández, Jaime
2
2009
Rewriting and call-time choice: The HO case. Zbl 1137.68338
López-Fraguas, Francisco Javier; Rodríguez-Hortalá, Juan; Sánchez-Hernández, Jaime
3
2008
Formalizing a constraint deductive database language based on hereditary Harrop formulas with negation. Zbl 1137.68339
Nieva, Susana; Sánchez-Hernández, Jaime; Sáenz-Pérez, Fernando
2
2008
Equivalence of two formal semantics for functional logic programs. Zbl 1278.68051
López-Fraguas, F. J.; Rodríguez-Hortalá, J.; Sánchez-Hernández, J.
3
2007
A proof theoretic approach to failure in functional logic programming. Zbl 1085.68021
López-Fraguas, Francisco J.; Sánchez-Hernández, Jaime
5
2004
Failure and equality in functional logic programming. Zbl 1270.68061
López-Fraguas, F. J.; Sánchez-Hernández, J.
1
2003
Narrowing failure in functional logic programming. Zbl 1019.68018
López-Fraguas, Francisco Javier; Sánchez-Hernández, Jaime
1
2002
Functional logic programming with failure: a set-oriented view. Zbl 1275.68047
López-Fraguas, F. J.; Sánchez-Hernández, J.
2
2001
A computational model for functional logic deductive databases. Zbl 1053.68563
Almendros-Jiménez, Jesús M.; Becerra-Terón, Antonio; Sánchez-Hernández, Jaime
1
2001
Proving failure in functional logic programs. Zbl 0983.68503
López-Fraguas, Francisco J.; Sánchez-Hernández, Jaime
4
2000

Citations by Year