Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This volume contains the proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA-91), held in Como, Italy, April 10-12, 1991. The volume includes 40 papers on a wide variety of topics including: term rewriting systems, equational unification, algebraic rewriting, termination proofs, generalization problems, undecidable properties, parametrized specifications, normalizing systems, program transformation, query optimization, tree languages, graph languages, theorem proving systems, completion, graph rewriting systems, and open problems.
Similar content being viewed by others
Keywords
Table of contents (40 papers)
-
Front Matter
Bibliographic Information
Book Title: Rewriting Techniques and Applications
Book Subtitle: 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings
Editors: Ronald V. Book
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-53904-2
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1991
Softcover ISBN: 978-3-540-53904-9Published: 27 March 1991
eBook ISBN: 978-3-540-46383-2Published: 03 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 462
Topics: Theory of Computation, Applications of Mathematics, Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Programming Languages, Compilers, Interpreters, Algorithm Analysis and Problem Complexity