On Efficient Reduction Algorithms for Some Trace Rewriting Systems

• Authors:

• Michael Bertol;Volker Diekert

• Affiliations:

• -;-

• Venue:
• Term Rewriting, French Spring School of Theoretical Computer Science, Advanced Course
• Year:
• 1993