Termination of context-sensitive rewriting

H. Zantema

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

Original language	Undefined/Unknown
Title of host publication	Proceedings of the 8th Conference on Rewriting Techniques and Applications
Editors	H. Comon
Place of Publication	Berlin, Germany
Publisher	Springer
Pages	172-186
Number of pages	15
Publication status	Published - 1997

Keywords

@inproceedings{bfade6da60cc459a955c342312e8c18c,

title = "Termination of context-sensitive rewriting",

keywords = "Wiskunde en Informatica (WIIN)",

author = "H. Zantema",

year = "1997",

language = "Undefined/Unknown",

pages = "172--186",

editor = "H. Comon",

booktitle = "Proceedings of the 8th Conference on Rewriting Techniques and Applications",

publisher = "Springer",

}