Higher-Order Rewriting

Conditional rewrite rules: Confluence and termination

Journal of Computer and System Sciences

Termination of term rewriting: interpretation and type elimination

Journal of Symbolic Computation - Special issue on conditional term rewriting systems

Developing developments

NSL '94 Proceedings of the first workshop on Non-standard logics and logical aspects of computer science

Call by need computations to root-stable form

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Higher-order rewrite systems and their confluence

Theoretical Computer Science - Special issue: rewriting systems and applications

Tree-Manipulating Systems and Church-Rosser Theorems

Journal of the ACM (JACM)

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems

Journal of the ACM (JACM)

Computing in Systems Described by Equations

Computing in Systems Described by Equations

Normalisation in Weakly Orthogonal Rewriting

RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications

Higher-Order Narrowing with Definitional Trees

RTA '96 Proceedings of the 7th International Conference on Rewriting Techniques and Applications

Termination Proofs for Higher-order Rewrite Systems

HOA '93 Selected Papers from the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting

Relative Normalization in Deterministic Residual Structures

CAAP '96 Proceedings of the 21st International Colloquium on Trees in Algebra and Programming

The Higher-Order Recursive Path Ordering

LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science