A unified computation model for functional and logic programming
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Functional and constraint logic programming
Constraints in computational logics
A comparison between two logical formalisms for rewriting
Theory and Practice of Logic Programming
Evaluation strategies for functional logic programming
Journal of Symbolic Computation
An integrated framework for the diagnosis and correction of rule-based programs
Theoretical Computer Science
Narrowing Strategies For Arbitrary Canonical Rewrite Systems
Fundamenta Informaticae
| Hi-index | 0.00 |