Edit Profile Sánchez-Hernández, Jaime Compute Distance To: Compute Author ID: sanchez-hernandez.jaime Published as: Sánchez-Hernández, J.; Sánchez-Hernández, Jaime External Links: ORCID Documents Indexed: 15 Publications since 2000 all top 5 Co-Authors 0 single-authored 9 López-Fraguas, Francisco Javier 5 Rodríguez-Hortalá, Juan 3 Nieva, Susana 3 Sáenz-Pérez, Fernando 1 Almendros-Jiménez, Jesús Manuel 1 Aranda-López, Gabriel 1 Becerra-Terón, Antonio 1 Martin-Martin, Enrique 1 Montenegro, Manuel 1 Peña, Ricardo Serials 2 Theory and Practice of Logic Programming 1 Information and Computation 1 The Journal of Logic and Algebraic Programming Fields 15 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications 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.68021López-Fraguas, Francisco J.; Sánchez-Hernández, Jaime 5 2004 Proving failure in functional logic programs. Zbl 0983.68503López-Fraguas, Francisco J.; Sánchez-Hernández, Jaime 4 2000 Rewriting and call-time choice: The HO case. Zbl 1137.68338Ló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.68051López-Fraguas, F. J.; Rodríguez-Hortalá, J.; Sánchez-Hernández, J. 3 2007 A fully abstract semantics for constructor systems. Zbl 1242.68137Ló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.68339Nieva, Susana; Sánchez-Hernández, Jaime; Sáenz-Pérez, Fernando 2 2008 Functional logic programming with failure: a set-oriented view. Zbl 1275.68047López-Fraguas, F. J.; Sánchez-Hernández, J. 2 2001 Failure and equality in functional logic programming. Zbl 1270.68061López-Fraguas, F. J.; Sánchez-Hernández, J. 1 2003 Narrowing failure in functional logic programming. Zbl 1019.68018López-Fraguas, Francisco Javier; Sánchez-Hernández, Jaime 1 2002 A computational model for functional logic deductive databases. Zbl 1053.68563Almendros-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.68137Ló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.68338Ló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.68339Nieva, Susana; Sánchez-Hernández, Jaime; Sáenz-Pérez, Fernando 2 2008 Equivalence of two formal semantics for functional logic programs. Zbl 1278.68051Ló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.68021López-Fraguas, Francisco J.; Sánchez-Hernández, Jaime 5 2004 Failure and equality in functional logic programming. Zbl 1270.68061López-Fraguas, F. J.; Sánchez-Hernández, J. 1 2003 Narrowing failure in functional logic programming. Zbl 1019.68018López-Fraguas, Francisco Javier; Sánchez-Hernández, Jaime 1 2002 Functional logic programming with failure: a set-oriented view. Zbl 1275.68047López-Fraguas, F. J.; Sánchez-Hernández, J. 2 2001 A computational model for functional logic deductive databases. Zbl 1053.68563Almendros-Jiménez, Jesús M.; Becerra-Terón, Antonio; Sánchez-Hernández, Jaime 1 2001 Proving failure in functional logic programs. Zbl 0983.68503López-Fraguas, Francisco J.; Sánchez-Hernández, Jaime 4 2000 all cited Publications top 5 cited Publications all top 5 Cited by 23 Authors 6 López-Fraguas, Francisco Javier 4 Antoy, Sergio 4 Hanus, Michael 3 Martin-Martin, Enrique 3 Rodríguez-Hortalá, Juan 3 Sánchez-Hernández, Jaime 2 Becerra-Terón, Antonio 2 Nieva, Susana 1 Alemandros-Jiménez, Jesús M. 1 Almendros-Jiménez, Jesús Manuel 1 Aranda-López, Gabriel 1 Braßel, Bernd 1 Christiansen, Jan 1 de Dios Castro, Javier 1 del Vado Vírseda, Rafael 1 Fischer, Sebastian 1 Jost, Andy 1 Lipton, James B. 1 Reck, Fabian 1 Rodríguez-Artalejo, Mario 1 Sáenz-Pérez, Fernando 1 Seidel, Daniel 1 Voigtlander, Janis all top 5 Cited in 8 Serials 3 Theory and Practice of Logic Programming 1 Theoretical Computer Science 1 Journal of Symbolic Computation 1 New Generation Computing 1 Information and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Higher-Order and Symbolic Computation 1 The Journal of Logic and Algebraic Programming Cited in 2 Fields 18 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) Citations by Year