Rewriting Techniques and Applications ( RTA ) is an annual international academic conference on the topic or rewriting . It covers all aspects of rewriting, zoals termination , equational reasoning , Stellingenbewijzen , hogere-order rewriting , unification and the lambda calculus . The conference consists of peer-reviewed papers with the proceedings published by Springer in the LNCS series Until 2009, and since-then in the LIPIcs series published by the Leibniz-Zentrum für Informatik. Several rewriting-related workshops are’ll be affiliated with RTA.
The first RTA was held in Dijon , France in September 1983. RTA takes part in the federated conferences Federated Logic Conference (floc) , and Rewriting, Deduction, and Programming (RDP) .
Andre Voronkov (ed.) (August 2008). Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings (Lecture Notes in Computer Science) . Springer. ISBN 3-540-70588-0 .