Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings - International Conference on Rewriting Techniques and Applications 1991 : Como, Italy); Book, Ronald V. (Berlin : Springer-Verlag, 1991)
Keywords: Rewriting systems (Computer science) -- Congresses; Electronic digital computers -- Programming -- Congresses; Algorithms -- Congresses