The 3rd International Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanzawa, Japan, September 18-20, 2000

Kokichi Futatsugi The 3rd International Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanzawa, Japan, September 18-20, 2000 2000 WRLA Electronic Notes in Theoretical Computer Science 36 Elsevier https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/36/suppl/C db/journals/entcs/entcs36.html