Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 690)
Included in the following conference series:
Conference proceedings info: RTA 1993.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This volume contains the proceedings of RTA-93, the fifth
International Conference on Rewriting Techniques and
Applications, held in Montreal, Canada, in June 1993.
The volume includes three invited lectures, "Rewrite
techniques in theorem proving" (L. Bachmair), "Proving
properties of typed lambda terms: realizability, covers, and
sheaves" (J. Gallier), and "On some algorithmic problems for
groups and monoids" (S.J. Adian), together with 29 selected
papers, 6 system descriptions, and a list of open problems
in the field.
The papers covermany topics: term rewriting; termination;
graph rewriting; constraint solving; semantic unification,
disunification and combination; higher-order logics; and
theorem proving, with several papers on distributed theorem
proving, theorem proving with constraints and completion.
Similar content being viewed by others
Keywords
Table of contents (39 papers)
-
Front Matter
Other volumes
-
Rewriting Techniques and Applications
Editors and Affiliations
Bibliographic Information
Book Title: Rewriting Techniques and Applications
Book Subtitle: 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings
Editors: Claude Kirchner
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-662-21551-7
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1993
Softcover ISBN: 978-3-540-56868-1Due: 07 June 1993
eBook ISBN: 978-3-662-21551-7Published: 19 March 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 492
Topics: Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Artificial Intelligence