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.4.1 Handling Iteration As was originally remarked in , one is faced with serious technical difficulties when trying to use directly ... involved in a complex technical analysis of the shape of expansive normal forms that does not behave well when we add iteration. ... cannot be functions themselves), an equality axiom for the terminal object and the extensional equality axiom for pairs (SP) and functions (n) .
|Title||:||Rewriting Techniques and Applications|
|Publisher||:||Springer Science & Business Media - 1996-07-01|