Original language | English |
---|---|
Title of host publication | Proceedings International Workshop on Rewriting Logic and its Applications (Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998) |
Editors | C. Kirchner |
Pages | 218-241 |
DOIs | |
Publication status | Published - 1998 |
Publication series
Name | Electronic Notes in Theoretical Computer Science |
---|---|
ISSN (Print) | 1571-0061 |