Original language | English |
---|---|
Title of host publication | Conditional Term Rewriting Systems (Proceedings 3rd International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992) |
Editors | M. Rusinowitch, J.L. Remy |
Place of Publication | Berlin |
Publisher | Springer |
Pages | 155-167 |
ISBN (Print) | 3-540-56393-8 |
Publication status | Published - 1993 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Volume | 656 |
ISSN (Print) | 0302-9743 |