Combinatory reduction systems: introduction and survey
Theoretical Computer Science - A collection of contributions in honour of Corrado Bo¨hm on the occasion of his 70th birthday
Higher-order rewrite systems and their confluence
Theoretical Computer Science - Special issue: rewriting systems and applications
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Termination and Confluence of Higher-Order Rewrite Systems
RTA '00 Proceedings of the 11th International Conference on Rewriting Techniques and Applications
A Termination Ordering for Higher Order Rewrite System
RTA '95 Proceedings of the 6th International Conference on Rewriting Techniques and Applications
A Recursive Path Ordering for Higher-Order Terms in eta-Long beta-Normal Form
RTA '96 Proceedings of the 7th International Conference on Rewriting Techniques and Applications
RTA '96 Proceedings of the 7th International Conference on Rewriting Techniques and Applications
Termination of Combined (Rewrite and lambda-Calculus) Systems
CTRS '92 Proceedings of the Third International Workshop on Conditional Term Rewriting Systems
The Higher-Order Recursive Path Ordering
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Modularity of strong normalization in the algebraic-λ-cube
Journal of Functional Programming
Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
A Higher-Order Iterative Path Ordering
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Semantic labelling for proving termination of combinatory reduction systems
WFLP'09 Proceedings of the 18th international conference on Functional and Constraint Logic Programming
| Hi-index | 0.00 |
We discuss the termination methods using the higher-order recursive path ordering and the general scheme for higher-order rewriting systems and combinatory reduction systems.