The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jaime Sánchez-Hernández: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
    Disequalities May Help to Narrow. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:89-104 [Conf]
  2. Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
    Proving Failure in Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:179-193 [Conf]
  3. Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
    Narrowing Failure in Functional Logic Programming. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2002, pp:212-227 [Conf]
  4. Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Jaime Sánchez-Hernández
    A Computational Model for Functional Logic Deductive Databases. [Citation Graph (0, 0)][DBLP]
    ICLP, 2001, pp:331-347 [Conf]
  5. Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
    Functional Logic Programming with Failure: A Set-Oriented View. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:455-469 [Conf]
  6. Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
    TOY: A Multiparadigm Declarative System. [Citation Graph (0, 0)][DBLP]
    RTA, 1999, pp:244-247 [Conf]
  7. Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
    Failure and equality in functional logic programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, pp:- [Journal]
  8. Jaime Sánchez-Hernández
    Constructive Failure in Functional-Logic Programming: From Theory to Implementation. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:11, pp:1574-1593 [Journal]
  9. Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
    A Proof Theoretic Approach to Failure in Functional Logic Programming. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:1-2, pp:41-74 [Journal]
  10. Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
    A simple rewrite notion for call-time choice semantics. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:197-208 [Conf]
  11. Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
    Equivalence of Two Formal Semantics for Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:188, n:, pp:117-142 [Journal]

  12. Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation. [Citation Graph (, )][DBLP]


  13. Rewriting and Call-Time Choice: The HO Case. [Citation Graph (, )][DBLP]


  14. A flexible framework for programming with non-deterministicfunctions. [Citation Graph (, )][DBLP]


  15. Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas. [Citation Graph (, )][DBLP]


  16. A Fully Abstract Semantics for Constructor Systems. [Citation Graph (, )][DBLP]


  17. Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. [Citation Graph (, )][DBLP]


  18. A Lightweight Combination of Semantics for Non-deterministic Functions [Citation Graph (, )][DBLP]


  19. Functions and Lazy Evaluation in Prolog. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002