Confluence via Critical Valleys

V. van Oostrom

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

Original language	English
Title of host publication	Proceedings of the 6th International Workshop on Higher-Order Rewriting (HOR 2012)
Editors	Makoto Hamana
Publication status	Published - 2012

Cite this

@inbook{d114ab8b040c479185480ed06903de21,

title = "Confluence via Critical Valleys",

author = "{van Oostrom}, V.",

note = "6th International Workshop on Higher-Order Rewriting (HOR 2012)",

year = "2012",

language = "English",

editor = "Makoto Hamana",

booktitle = "Proceedings of the 6th International Workshop on Higher-Order Rewriting (HOR 2012)",

}