Shallow confluence of conditional term rewriting systems
Journal of Symbolic Computation
Proving Confluence of Term Rewriting Systems Automatically
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent
Information Processing Letters
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
Hi-index | 0.00 |