The Complexitiy of Testing Ground Reducibility for Linear Word Rewriting Systems with Variables

• Authors:

• Gregory Kucherov;Michaël Rusinowitch

• Affiliations:

• -;-

• Venue:
• CTRS '94 Proceedings of the 4th International Workshop on Conditional and Typed Rewriting Systems
• Year:
• 1994