ReDuX 1.5: New Facets of Rewriting

• Authors:

• Reinhard Bündgen;Carsten Sinz;Jochen Walter

• Affiliations:

• -;-;-

• Venue:
• RTA '96 Proceedings of the 7th International Conference on Rewriting Techniques and Applications
• Year:
• 1996