Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (14 papers)
-
Front Matter
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
-
INRIA, France
Manuel Bronstein
-
FMI Universität Passau, Germany
Volker Weispfenning
-
IBM Deutschland Informationssysteme GmbH, Germany
Johannes Grabmeier
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