Electronic Notes in Theoretical Computer Science, Volume 36

Volume 36, 2000

The 3rd International Workshop on Rewriting Logic and its Applications
Kanazawa City Cultural Hall, Kanzawa Japan, September 18-20, 2000