Erasure and Termination in Higher-Order Rewriting

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	30-33
Journal	Aachener Informatik-Berichte
Volume	AIB-2004-0
Publication status	Published - 2004

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

Persistent URL (handle)

@article{27412b09549e42b6adf92365ecd84db3,

title = "Erasure and Termination in Higher-Order Rewriting",

author = "J. Ketema and {van Raamsdonk}, F.",

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

year = "2004",

language = "English",

volume = "AIB-2004-0",

pages = "30--33",

journal = "Aachener Informatik-Berichte",

issn = "0935-3232",

}

TY - JOUR

T1 - Erasure and Termination in Higher-Order Rewriting

AU - Ketema, J.

AU - van Raamsdonk, F.

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

PY - 2004

Y1 - 2004

M3 - Article

SN - 0935-3232

VL - AIB-2004-0

SP - 30

EP - 33

JO - Aachener Informatik-Berichte

JF - Aachener Informatik-Berichte

ER -