Rewriting Techniques and Applications [RTA 2008]

General Information

Conference Date: 14/07/2008 - 18/07/2008

Venue: RISC, Hagenberg, Austria