Publication year: 2005
: 978-3-540-32033-3
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.
: 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