ENGLISH

Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings

By Deepak Kapur (auth.) , Harald Ganzinger (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1996
ISBN
978-3-540-61464-7, 978-3-540-68596-8
DOI
10.1007/3-540-61464-8
Language
english
Format
PDF
Filesize
6 MB (6729355 bytes)
Series
Lecture Notes in Computer Science 1103
Edition
1
Pages
440\447
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
CompilersInterpreters; Logics and Meanings of Programs; MatProgramming Languages

Description

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.

Similar books