TY - BOOK AU - Lescanne,Pierre ED - International Conference on Rewriting Techniques and Applications TI - Rewriting techniques and applications, Bordeaux, France, May 25-27, 1987: proceedings AV - QA267 I555 1987 PY - 1987/// CY - Berlin PB - Springer-Verlag KW - Rewriting systems (Computer science) KW - Congresses KW - Electronic digital computers KW - Programming KW - Algorithms ER -