Higher-order equational logic programming
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Termination for direct sums of left-linear complete term rewriting systems
Journal of the ACM (JACM)
Managing Structural Information by Higher-Order Colored Unification
Journal of Automated Reasoning
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Internal models of system F for decompilation
Theoretical Computer Science
Hi-index | 0.00 |