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

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

Cite this

Endrullis, J., Grabmayer, C. A., Hendriks, R. D. A., Klop, J. W., & van Oostrom, V. (2010). Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting. In Proceedings of the 21st International Conference on Rewriting Techniques and Applications (pp. 85-102)
Endrullis, J. ; Grabmayer, C.A. ; Hendriks, R.D.A. ; Klop, J.W. ; van Oostrom, V. / Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting. Proceedings of the 21st International Conference on Rewriting Techniques and Applications. 2010. pp. 85-102
@inproceedings{76e735c6ca3f403d9310bb06ad181591,
title = "Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting",
author = "J. Endrullis and C.A. Grabmayer and R.D.A. Hendriks and J.W. Klop and {van Oostrom}, V.",
year = "2010",
language = "English",
pages = "85--102",
booktitle = "Proceedings of the 21st International Conference on Rewriting Techniques and Applications",

}

Endrullis, J, Grabmayer, CA, Hendriks, RDA, Klop, JW & van Oostrom, V 2010, Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting. in Proceedings of the 21st International Conference on Rewriting Techniques and Applications. pp. 85-102.

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 -

Endrullis J, Grabmayer CA, Hendriks RDA, Klop JW, van Oostrom V. Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting. In Proceedings of the 21st International Conference on Rewriting Techniques and Applications. 2010. p. 85-102