Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings
Deepak Kapur (auth.), Harald Ganzinger (eds.)This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996.
The 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six system descriptions and abstracts of three invited papers. The topics covered include analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, symbolic and algebraic computation, and efficient implementation of rewriting on sequential and parallel machines.
Categories:
Year:
1996
Edition:
1
Publisher:
Springer-Verlag Berlin Heidelberg
Language:
english
Pages:
440
ISBN 10:
3540614648
ISBN 13:
9783540614647
Series:
Lecture Notes in Computer Science 1103
File:
DJVU, 3.53 MB
IPFS:
,
english, 1996