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 |
Cite this
}
Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting. / Endrullis, J.; Grabmayer, C.A.; Hendriks, R.D.A.; Klop, J.W.; van Oostrom, V.
Proceedings of the 21st International Conference on Rewriting Techniques and Applications. 2010. p. 85-102.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
TY - GEN
T1 - Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting
AU - Endrullis, J.
AU - Grabmayer, C.A.
AU - Hendriks, R.D.A.
AU - Klop, J.W.
AU - van Oostrom, V.
PY - 2010
Y1 - 2010
M3 - Conference contribution
SP - 85
EP - 102
BT - Proceedings of the 21st International Conference on Rewriting Techniques and Applications
ER -