Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting

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

Original language	Undefined/Unknown
Title of host publication	Liber Amicorum for Roel de Vrijer
Editors	JW Klop, V van Ooostrom
Place of Publication	Amsterdam
Publisher	self publishing
Pages	46-60
Number of pages	15
Publication status	Published - 2009

Cite this

@inproceedings{7cb83d5414fa4b9fbd2fb139cf66df38,

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

author = "C.A. Grabmayer",

year = "2009",

language = "Undefined/Unknown",

pages = "46--60",

editor = "JW Klop and \{van Ooostrom\}, V",

booktitle = "Liber Amicorum for Roel de Vrijer",

publisher = "self publishing",

}