Title:
|
REWRITING TECHNIQUES AND APPLICATIONS
|
Volume: |
5th |
By: |
Claude Kirchner (Editor) |
Format: |
Paperback |
List price:
|
£36.99 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
3540568689 |
ISBN 13: |
9783540568681 |
Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
Series: |
Lecture Notes in Computer Science v. 690 |
Pages: |
512 |
Description: |
The proceedings of the Fifth International Conference on Rewriting Techniques and Applications, held in Montreal, Canada, June 1993. The topics include: term rewriting; termination; graph rewriting; constraint solving; semantic unification, disunification and combination; and theorem proving. |
Synopsis: |
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). It also features full versions of 29 papers selected from 91 submissions, 6 system descriptions, and a list of open problems in the field. The papers cover many 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. |
Illustrations: |
black & white illustrations |
Publication: |
Germany |
Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
Returns: |
Non-returnable |
|
|