Term Rewriting and Applications (vol. # 4098)
Publication year: 2006
ISBN: 978-3-540-36835-9
Internet Resource: Please Login to download book
PrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, which was held on August 12–14, 2006in Seattle, Washington, as part of of the 4th Federated Logic Conference (FLoC).RTA is the major forum for the presentation of research on all aspects of rewrit-ing. A total of 23 regular papers and 4 system descriptions were selected for pre-sentation from 52 submissions.
Subject: Computer Science, Constraint, lambda calculus, logic, optimization, proving, term rewriting, theorem proving, verification
