Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 (Lecture Notes in Computer Science (202), Band 202)

Techniques

von Jean-Pierre Jouannaud

Taschenbuch

ISBN-13: 978-3-540-15976-6

ISBN-10: 3-540-15976-2

Springer · 2008

Siehe auch:
1986PaperbackRewriting Techniques and Applications: Dijon, France, May 20-22, 1985 (Lecture Notes in Computer Science)