Confluence of Terminating Conditional Rewrite Systems Revisited

Authors:
Bernhard Gramlich;Claus-Peter Wirth
Affiliations:
-;-
Venue:
RTA '96 Proceedings of the 7th International Conference on Rewriting Techniques and Applications
Year:
1996

Citing 0
Cited 2

Simplifying termination proofs for rewrite systems by preprocessing

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Simultaneous checking of completeness and ground confluence for algebraic specifications

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.01

Visualization

Abstract