Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

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

Persistent URL (handle)

@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",

}