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)
von:
Hubert Comon
·
Jean-Pierre Jouannaud
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-59340-9
ISBN-10: 3-540-59340-3
Springer
· 2008