Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting

• Authors:

• Heinrich Hußmann

• Affiliations:

• -

• Venue:
• Proceedings of the International Workshop on Algebraic and Logic Programming
• Year:
• 1988