Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings - International Conference on Rewriting Techniques and Applications 1989 : Chapel Hill, North Carolina); Dershowitz, Nachum (Berlin : Springer-Verlag, 1989)
Keywords: Rewriting systems (Computer science) -- Congresses; Electronic digital computers -- Programming -- Congresses; Algorithms -- Congresses