International Conference on Rewriting Techniques and Applications

Source: Wikipedia, the free encyclopedia.

Rewriting Techniques and Applications (RTA) is an annual international

LIPIcs
series published by the Leibniz-Zentrum für Informatik. Several rewriting-related workshops are also affiliated with RTA.

The first RTA was held in Dijon, France in September 1983. RTA took part in the federated conferences Federated Logic Conference (FLoC) and Rewriting, Deduction, and Programming (RDP). In 2016, RTA merged with the International Conference on Typed Lambda Calculi and Applications to form the International Conference on Formal Structures for Computation and Deduction (FSCD).

External links