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)