Transforming termination by self-labelling

A. Middeldorp, H. Ohsaki, 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 13th International Conference on Automated Deduction (CADE)
Editors	M. McRobbie, J. Slaney
Publisher	Springer
Pages	373-387
Number of pages	15
Publication status	Published - 1996

Cite this

@inproceedings{86e1577e2f414463a4aea2c0bbd1929b,

title = "Transforming termination by self-labelling",

author = "A. Middeldorp and H. Ohsaki and H. Zantema",

year = "1996",

language = "Undefined/Unknown",

pages = "373--387",

editor = "M. McRobbie and J. Slaney",

booktitle = "Proceedings of the 13th International Conference on Automated Deduction (CADE)",

publisher = "Springer",

address = "Germany",

}