Infinitary rewriting

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

Name	Cambridge Tracts in Theoretical Computer Science
Publisher	Cambridge University Press

Cite this

@inbook{f87d28434d7140cfac4e7474d204d573,

title = "Infinitary rewriting",

author = "Kennaway, {J. R.} and {de Vries}, {F. J.}",

year = "2003",

month = mar,

language = "English",

isbn = "978-0521391153",

volume = "55",

series = "Cambridge Tracts in Theoretical Computer Science",

publisher = "Cambridge University Press",

pages = "668--711",

booktitle = "Term Rewriting Systems",

address = "United Kingdom",

}