M. Hanus. The integration of functions into logic programming: A survey. The Journal of Logic Programming, 19-20:583--628, 1994. Special issue: Ten Years of Logic Programming. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
A Declarative Debugger of Wrong Answers for Lazy.. - Caballero.. (2001) (Correct)
Some Characteristics of Strong Innermost Normalization - Rao (2000) (3 citations) (Correct)
Higher-Order Narrowing - Prehofer (1994) (11 citations) (Correct)
On Modularity in Term Rewriting and Narrowing - Prehofer (1994) (4 citations) (Correct)
Functional Logic Programming with Real Numbers - Arenas-Sánchez.. (Correct)
Efficient Integration of Declarative Paradigms into Symbolic.. - Georgios Grivas (1994) (Correct)
Declarative Solutions to Partitioned-Grid Problems - Hartel, Vree (1994) (1 citation) (Correct)
Integrating Disequations in the Algebraic and Logic.. - Bert, Echahed (1994) (1 citation) (Correct)
Algebraic Semantics for Functional Logic.. -.. (1996) (Correct)
Parallel Declarative Programming: Transforming Logic Programs to .. - Apt, al. (Correct)
Exploiting Communalities in CoDesign - Achterop, Spaanenburg (Correct)
Solving Combinatorial Problems with a Constraint.. - Fernandez.. (2003) (Correct)
On Modularity in Term Rewriting and Narrowing - Prehofer (1994) (4 citations) (Correct)
Higher-Order Narrowing - Christian Prehofer Institut (1994) (11 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC