Termination of constructor systems

T. Arts, J. Giesl

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

Original language	Undefined/Unknown
Title of host publication	Proceedings of the Seventh International Conference on rewriting Techniques and Applications, RTA'96
Editors	H. Ganzinger
Place of Publication	Berlin, Germany
Publisher	Springer
Pages	63-77
Number of pages	15
Publication status	Published - 1996

Cite this

@inproceedings{b1d01abd4d8a4be69917fc76c02743e9,

title = "Termination of constructor systems",

author = "T. Arts and J. Giesl",

year = "1996",

language = "Undefined/Unknown",

pages = "63--77",

editor = "H. Ganzinger",

booktitle = "Proceedings of the Seventh International Conference on rewriting Techniques and Applications, RTA'96",

publisher = "Springer",

}