TY  - BOOK
AU  - Jouannaud,Jean-Pierre
ED  - International Conference on Rewriting Techniques and Application
TI  - Rewriting techniques and applications, Dijon, France, May 20-22, 1985
AV  - QA267 I555 1985 
PY  - 1985///
CY  - Berlin
PB  - Springer-Verlag
KW  - Rewriting systems (Computer science)
KW  - Congresses
KW  - Electronic digital computers
KW  - Programming
KW  - Algorithms
ER  -