Original language | English |
---|---|
Title of host publication | Proceedings of the 21st International Conference on Rewriting Techniques and Applications |
Pages | 85-102 |
Publication status | Published - 2010 |
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 proceeding › Conference contribution › Academic › peer-review