Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Lecture Notes in Computer Science (909), Band 909)

Rewriting

von: Hubert Comon · Jean-Pierre Jouannaud

Taschenbuch

ISBN: 978-3-540-59340-9

ISBN-10: 3-540-59340-3

Springer · 2008