Termination of term rewriting : from many-sorted to one-sorted

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

Original language	English
Title of host publication	Computing Science in the Netherlands (CSN'91, Utrecht, The Netherlands, November 7-8, 1991)
Place of Publication	Amsterdam
Publisher	Centrum voor Wiskunde en Informatica
Pages	617-629
ISBN (Print)	90-6196-404-0
Publication status	Published - 1991

Cite this

@inproceedings{41051c70fac9475ba8b495de7890da50,

title = "Termination of term rewriting : from many-sorted to one-sorted",

author = "H. Zantema",

year = "1991",

language = "English",

isbn = "90-6196-404-0",

pages = "617--629",

booktitle = "Computing Science in the Netherlands (CSN'91, Utrecht, The Netherlands, November 7-8, 1991)",

publisher = "Centrum voor Wiskunde en Informatica",

}