Symbolic Rewriting Techniques
By: edited by Manuel Bronstein, Volker Weispfenning, Johannes Grabmeier
Contributors: Weispfenning, Volker; Grabmeier, Johannes
Series: Progress in Computer Science and Applied Logic -- 15; Progress in Computer Science and Applied Logic -- 15
Publisher: Birkhäuser Basel; Imprint: Birkhäuser
Published: 1998
Place of publication: Basel
Language: eng
Format: [electronic resource] /
Number of pages: 288
ISBN-13: 9783034888004
Subjects: Mathematics