Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1232)
Included in the following conference series:
Conference proceedings info: RTA 1997.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The 24 revised full papers presented were selected from a total of 54 submissions. Also included are abstracts of two invited talks and four system descriptions. Besides classical topics like termination, confluence, or applications to theorem proving, several new approaches to rewriting are presented. All in all, this volume presents the state of the art in the area of rewriting techniques and applications.
Similar content being viewed by others
Keywords
Table of contents (28 papers)
Other volumes
-
Rewriting Techniques and Applications
Bibliographic Information
Book Title: Rewriting Techniques and Applications
Book Subtitle: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings
Editors: Hubert Comon
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-62950-5
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1997
Softcover ISBN: 978-3-540-62950-4Published: 14 May 1997
eBook ISBN: 978-3-540-69051-1Published: 13 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 348
Topics: Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Artificial Intelligence