Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (14 papers)
Keywords
About this book
Reviews
"14 contributions can be found within 288 pages, each of them with an extended reference list... Of high value to people who have some experience in this subject matter."
--The DERIVE Newsletter
Editors and Affiliations
Bibliographic Information
Book Title: Symbolic Rewriting Techniques
Editors: Manuel Bronstein, Volker Weispfenning, Johannes Grabmeier
Series Title: Progress in Computer Science and Applied Logic
DOI: https://doi.org/10.1007/978-3-0348-8800-4
Publisher: Birkhäuser Basel
-
eBook Packages: Springer Book Archive
Copyright Information: Birkhäuser Verlag 1998
Hardcover ISBN: 978-3-7643-5901-0Published: 24 March 1998
Softcover ISBN: 978-3-0348-9779-2Published: 23 October 2012
eBook ISBN: 978-3-0348-8800-4Published: 11 March 2013
Series ISSN: 2297-0576
Series E-ISSN: 2297-0584
Edition Number: 1
Number of Pages: VII, 288