Rewriting techniques and applications [Proceedings of the 1rst international conference] Dijon, France, May 20-22, 1985

• Other Authors: Jouannaud, Jean-Pierre (Editor)
• Format: Book
• Language: English
• Published: Berlin Springer-Verlag c1985
• Series: Lecture Notes in Computer Science = 202
• Subjects: COMPUTER SCIENCE; PROCEEDINGS; Λογική, Συμβολική και μαθηματική; LNCS
• Item Description: Περιέχει βιβλιογραφικές αναφορές
• Physical Description: vi, 440p.