Journal of the ACM (JACM)
Functional and constraint logic programming
Constraints in computational logics
A Complete Selection Function for Lazy Conditional Narrowing
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
The Unification Problem for Confluent Right-Ground Term Rewriting Systems
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Reducing Search Space in Solving Higher-Order Equations
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
Constructor-based conditional narrowing
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
The unification problem for confluent right-ground term rewriting systems
Information and Computation - RTA 2001
A demand-driven narrowing calculus with overlapping definitional trees
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
New completeness results for lazy conditional narrowing
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Constraint functional logic programming over finite domains
Theory and Practice of Logic Programming
Evaluation strategies for functional logic programming
Journal of Symbolic Computation
Hi-index | 0.00 |