Original language | English |
---|---|
Title of host publication | Proceedings 3rd International Workshop on Rewriting Logic and its Applications (RWLW, Kanazawa, Japan, September 18-20, 2000) |
Editors | K. Futatsugi |
Pages | 138-157 |
DOIs | |
Publication status | Published - 2000 |
Publication series
Name | Electronic Notes in Theoretical Computer Science |
---|---|
Volume | 36 |
ISSN (Print) | 1571-0061 |