Erasure and Termination in Higher-Order Rewriting

J. Ketema, F. van Raamsdonk

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)30-33
JournalAachener Informatik-Berichte
VolumeAIB-2004-0
Publication statusPublished - 2004

Bibliographical note

wst2004
Proceedings title: Proceedings of the 7th International Workshop on Termination (WST'04)
Editors: M. Codish, A. Middeldorp

Cite this