Termination for direct sums of left-linear complete term rewriting systems
Journal of the ACM (JACM)
Modular termination of context-sensitive rewriting
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Relative undecidability in term rewriting: II. the confluence hierarchy
Information and Computation
On modularity in infinitary term rewriting
Information and Computation
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
On modularity in infinitary term rewriting
Information and Computation
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Generalizing newman's lemma for left-linear rewrite systems
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
Modularity in term rewriting revisited
Theoretical Computer Science
From diagrammatic confluence to modularity
Theoretical Computer Science
Hi-index | 0.89 |