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

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

Holdings details from Remote Storage
Call Number: QA267 .I555 1989
 
Call Number Status Get It
QA267 .I555 1989 Available