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.
Categorie:
Anno:
1996
Edizione:
1
Casa editrice:
Springer-Verlag Berlin Heidelberg
Lingua:
english
Pagine:
440
ISBN 10:
3540614648
ISBN 13:
9783540614647
Collana:
Lecture Notes in Computer Science 1103
File:
DJVU, 3.53 MB
IPFS:
,
english, 1996