Properties of rewriting: decidability and modularity

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

Name
Number	55

terese-ch5:03

Persistent URL (handle)

@inbook{d99bdb8005f44515964f4a500ba0f3dd,

title = "Properties of rewriting: decidability and modularity",

author = "J.W. Klop and \{de Vrijer\}, R.C.",

note = "terese-ch5:03",

year = "2003",

language = "English",

publisher = "Cambridge University Press",

number = "55",

pages = "149--180",

editor = "Terese",

booktitle = "Term Rewriting Systems",

}