Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting

J Endrullis; C.A. Grabmayer; Dimitri Hendriks; JW Klop; V. van Oostrom

Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting

J Endrullis
, C.A. Grabmayer
, Dimitri Hendriks
, JW Klop
, V. van Oostrom

extern

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
Editors	Christopher Lynch
Publisher	Leibniz International Proceedings in Informatics (LIPIcs)
Pages	85-102
Number of pages	18
Publication status	Published - 11 Jul 2010

Bibliographical note

RTA 2010

Cite this

@inproceedings{b7a64ba842664d51a9632d5575fa4044,

title = "Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting",

author = "J Endrullis and C.A. Grabmayer and Dimitri Hendriks and JW Klop and \{van Oostrom\}, V.",

note = "RTA 2010",

year = "2010",

month = jul,

day = "11",

language = "English",

pages = "85--102",

editor = "\{Christopher Lynch\}",

booktitle = "Proceedings of the 21st International Conference on Rewriting Techniques and Applications",

publisher = "Leibniz International Proceedings in Informatics (LIPIcs)",

}

Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting. / Endrullis, J; Grabmayer, C.A.; Hendriks, Dimitri et al.
Proceedings of the 21st International Conference on Rewriting Techniques and Applications. ed. / Christopher Lynch. Leibniz International Proceedings in Informatics (LIPIcs), 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, Dimitri

AU - Klop, JW

AU - van Oostrom, V.

N1 - RTA 2010

PY - 2010/7/11

Y1 - 2010/7/11

M3 - Conference contribution

SP - 85

EP - 102

BT - Proceedings of the 21st International Conference on Rewriting Techniques and Applications

A2 - Christopher Lynch, null

PB - Leibniz International Proceedings in Informatics (LIPIcs)

ER -