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

• Άλλοι συγγραφείς: Jouannaud, Jean-Pierre (Επιμελητής έκδοσης)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin Springer-Verlag c1985
• Σειρά: Lecture Notes in Computer Science = 202
• Θέματα: COMPUTER SCIENCE; PROCEEDINGS; Λογική, Συμβολική και μαθηματική; LNCS
• Περιγραφή τεκμηρίου: Περιέχει βιβλιογραφικές αναφορές
• Φυσική περιγραφή: vi, 440p.