Advanced ARS theory

M. Bezem, J.W. Klop

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

Name	Cambridge Tracts in Theoretical Computer Science
Number	55

terese-ch14

Persistent URL (handle)

@inbook{3ec754f08fa14c5e9bf18d548928d960,

title = "Advanced ARS theory",

author = "M. Bezem and J.W. Klop",

note = "terese-ch14",

year = "2003",

language = "English",

series = "Cambridge Tracts in Theoretical Computer Science",

publisher = "Cambridge University Press",

number = "55",

pages = "744--789",

editor = "Terese",

booktitle = "Term Rewriting Systems",

}