Transfinite reductions in orthogonal term rewriting systems (extended abstract)

• Authors:

• J. R. Kennaway;J. W. Klop;M. R. Sleep;F. J. de Veries

• Affiliations:

• -;-;-;-

• Venue:
• RTA-91 Proceedings of the 4th international conference on Rewriting techniques and applications
• Year:
• 1991