TY  - BOOK
AU  - Kirchner,Claude
ED  - International Conference on Rewriting Techniques and Applications
TI  - Rewriting techniques and applications: 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings 
SN  - 3540568689
AV  - QA267 I555 1993
PY  - 1993///
CY  - Berlin
PB  - Springer-Verlag
KW  - Rewriting systems (Computer science)
KW  - Congresses
KW  - Electronic digital computers
KW  - Programming
KW  - Algorithms
ER  -