Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting

J. Endrullis, C.A. Grabmayer, R.D.A. Hendriks, J.W. Klop, V. van Oostrom

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of the 21st International Conference on Rewriting Techniques and Applications
Pages85-102
Publication statusPublished - 2010

Cite this