Electronic Notes in Theoretical Computer Science, Volume 117

Volume 117, January 2005

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications (WRLA 2004)
maintained by Schloss Dagstuhl LZI at University of Trier