Conditional term rewriting systems: third international workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992 : proceedings/
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Berlin:
Springer-Verlag,
1993
|
| Series: | Lecture notes in computer science
656 |
| Subjects: |