Original language | English |
---|---|
Title of host publication | Proceedings of the 21st International Conference on Rewriting Techniques and Applications |
Editors | Christopher Lynch |
Publisher | Leibniz International Proceedings in Informatics (LIPIcs) |
Pages | 85-102 |
Number of pages | 18 |
Publication status | Published - 11 Jul 2010 |
Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting
J Endrullis, C.A. Grabmayer, Dimitri Hendriks, JW Klop, V. van Oostrom
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review