Proceedings of the 2nd International Workshop on Higher-Order Rewriting (HOR 2004)

D. Kesner (Editor), F. van Raamsdonk (Editor), J. Wells (Editor)

Research output: Book / Report › Book editing › Academic

Name	Aachener Informatik-Berichte
No.	AIB-2004-03

hor2004b

Handle.net

@book{ac926b89447b46ab8595d4c4aa6855f4,

title = "Proceedings of the 2nd International Workshop on Higher-Order Rewriting (HOR 2004)",

editor = "D. Kesner and {van Raamsdonk}, F. and J. Wells",

note = "hor2004b ",

year = "2004",

language = "English",

series = "Aachener Informatik-Berichte",

publisher = "Unknown Publisher",

number = "AIB-2004-03",

}