Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2051)
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 (27 papers)
-
Front Matter
-
Regular Papers
About this book
The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from 55 submissions. All current aspects of rewriting are addressed.
Editors and Affiliations
-
Institute of Information Sciences and Electronics, University of Tsukuba, Tsukuba, Japan
Aart Middeldorp
Bibliographic Information
Book Title: Rewriting Techniques and Applications
Book Subtitle: 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings
Editors: Aart Middeldorp
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-45127-7
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2001
Softcover ISBN: 978-3-540-42117-7Published: 09 May 2001
eBook ISBN: 978-3-540-45127-3Published: 29 June 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 368
Topics: Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Artificial Intelligence, Symbolic and Algebraic Manipulation