Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings /

Bibliographic Details
Corporate Author:	International Conference on Rewriting Techniques and Applications Chapel Hill, N.C.
Other Authors:	Dershowitz, Nachum
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1989]
Series:	Lecture notes in computer science ; 355.
Subjects:	Rewriting systems (Computer science) > Congresses. Computer programming > Congresses. Algorithms > Congresses.

Remote Storage