A unified computation model for functional and logic programming
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of the ACM (JACM)
Functional and constraint logic programming
Constraints in computational logics
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Higher-order pattern complement and the strict λ-calculus
ACM Transactions on Computational Logic (TOCL)
Evaluation strategies for functional logic programming
Journal of Symbolic Computation
Infinitary Combinatory Reduction Systems
Information and Computation
Counterexamples in infinitary rewriting with non-fully-extended rules
Information Processing Letters
On confluence of infinitary combinatory reduction systems
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Infinitary combinatory reduction systems
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Expression reduction systems and extensions: an overview
Processes, Terms and Cycles
| Hi-index | 0.00 |