Reduction Strategies and Acyclicity

V. van Oostrom, J-W. Klop, F. van Raamsdonk

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

Original language	Undefined/Unknown
Title of host publication	Rewriting, Computation and Proof
Publisher	Springer
Pages	89-112
Number of pages	24
Publication status	Published - 2007

Cite this

@inproceedings{10401f7523e34cdb8b3338633c16ad4c,

title = "Reduction Strategies and Acyclicity",

author = "{van Oostrom}, V. and J-W. Klop and {van Raamsdonk}, F.",

note = "onbekend",

year = "2007",

language = "Undefined/Unknown",

pages = "89--112",

booktitle = "Rewriting, Computation and Proof",

publisher = "Springer",

address = "Germany",

}