Higher-order rewriting with types and arities

J.-P. Jouannaud; F. van Raamsdonk; A. Rubio

Higher-order rewriting with types and arities

J.-P. Jouannaud
, F. van Raamsdonk
, A. Rubio

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

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

Bibliographical note

hor2004a
Proceedings title: Proceedings of the 2nd International Workshop on Higher-Order Rewriting (HOR 2004)
Editors: D. Kesner, F. van Raamsdonk, J. Wells

Persistent URL (handle)

Persistent link

Cite this

@article{eca39b5e48cd41a3bea7f6bc598b30e5,

title = "Higher-order rewriting with types and arities",

author = "J.-P. Jouannaud and \{van Raamsdonk\}, F. and A. Rubio",

note = "hor2004a Proceedings title: Proceedings of the 2nd International Workshop on Higher-Order Rewriting (HOR 2004) Editors: D. Kesner, F. van Raamsdonk, J. Wells",

year = "2004",

language = "English",

volume = "AIB-2004-0",

pages = "89--92",

journal = "Aachener Informatik-Berichte",

issn = "0935-3232",

}

TY - JOUR

T1 - Higher-order rewriting with types and arities

AU - Jouannaud, J.-P.

AU - van Raamsdonk, F.

AU - Rubio, A.

N1 - hor2004a Proceedings title: Proceedings of the 2nd International Workshop on Higher-Order Rewriting (HOR 2004) Editors: D. Kesner, F. van Raamsdonk, J. Wells

PY - 2004

Y1 - 2004

M3 - Article

SN - 0935-3232

VL - AIB-2004-0

SP - 89

EP - 92

JO - Aachener Informatik-Berichte

JF - Aachener Informatik-Berichte

ER -