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

}