 International Conference on Rewriting Techniques and Applications

Rewriting Techniques and Applications (RTA) is an annual international academic conference on the topic of rewriting.It covers all aspects of rewriting, including termination, equational reasoning, theorem proving, higher-order rewriting, unification and the lambda calculus.