Conditional rewrite rules: Confluence and termination
Journal of Computer and System Sciences
Commutation, transformation, and termination
Proc. of the 8th international conference on Automated deduction
Counterexamples to termination for the direct sum of term rewriting systems
Information Processing Letters
A completeness result for E-unification algorithms based on conditional narrowing
Lecture notes in computer science on Foundations of logic and functional programming
Confluence of conditional rewrite systems
1st international workshop on Conditional Term Rewriting Systems
A rationale for conditional equational programming
Theoretical Computer Science - Special issue on the international conference on fifth generation computer systems. Tokyo, 1988
Handbook of theoretical computer science (vol. B)
Handbook of logic in computer science (vol. 2)
Modular properties of conditional term rewriting systems
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Term rewriting and all that
Termination of term rewriting using dependency pairs
Theoretical Computer Science - Trees in algebra and programming
Logicality of conditional rewrite systems
Theoretical Computer Science - Trees in algebra and programming
On interreduction of semi-complete term rewriting systems
Theoretical Computer Science
Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides
RTA '95 Proceedings of the 6th International Conference on Rewriting Techniques and Applications
Confluence of Terminating Conditional Rewrite Systems Revisited
RTA '96 Proceedings of the 7th International Conference on Rewriting Techniques and Applications
On Proving Termination by Innermost Termination
RTA '96 Proceedings of the 7th International Conference on Rewriting Techniques and Applications
RTA '97 Proceedings of the 8th International Conference on Rewriting Techniques and Applications
On Modularity in Term Rewriting and Narrowing
CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics
CTRS '94 Proceedings of the 4th International Workshop on Conditional and Typed Rewriting Systems
Termination of Constructor Systems
RTA '96 Proceedings of the 7th International Conference on Rewriting Techniques and Applications
Abstract Relations Between Restricted Termination And Confluence Properties Of Rewrite Systems
Fundamenta Informaticae
Reducing right-hand sides for termination
Processes, Terms and Cycles
Hi-index | 0.00 |