Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2051)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001.
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.
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.
Similar content being viewed by others
Keywords
Table of contents (27 papers)
-
Front Matter
-
Regular Papers
Editors and Affiliations
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