Term Rewriting and Applications (vol. # 3467)
Publication year: 2005
ISBN: 978-3-540-32033-3
Internet Resource: Please Login to download book
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– 21, 2005, at the Nara-Ken New Public Hall in the center of the Nara National Park in Nara, Japan. RTA is the major forum for the presentation of research on all aspects of rewriting.
Subject: Computer Science, automata, automated deduction, higher order rewriting, lambda calculus, logic programming, programming calculi, proving, rewriting, rewriting systems, semantics, term rewriting, termination, type inference, unification, verification
