Joe Wells (eds

Higher-Order Rewriting (2004)

Delia Kesner, Femke Van Raamsdonk, Joe Wells (eds, Issn Aachener, Informatik Berichte Aib

2004), which was held from May 31 through June 5, 2004, in Aachen. RDP 2004 consisted of the

Higher-Order Rewriting (2004)

Delia Kesner, Femke Van Raamsdonk, Joe Wells (eds, Issn Aachener, Informatik Berichte Aib

2004), which was held from May 31 through June 5, 2004, in Aachen. RDP 2004 consisted of the