Técnicas y aplicaciones de reescritura ( RTA ) es una conferencia académica internacional anual sobre el tema de la reescritura . Cubre todos los aspectos de la reescritura, incluida la terminación , el razonamiento de ecuaciones , la demostración de teoremas , la reescritura de orden superior , la unificación y el cálculo lambda . La conferencia consta de artículos revisados por pares con las actas publicadas por Springer en la serie LNCS hasta 2009, y desde entonces en LIPIcsserie publicada por Leibniz-Zentrum für Informatik. Varios talleres relacionados con la reescritura también están afiliados a RTA.
La primera RTA se celebró en Dijon , Francia en septiembre de 1983. RTA participa en las conferencias federadas Federated Logic Conference (FLoC) y Rewriting, Deduction, and Programming (RDP) .
Otras lecturas
Andre Voronkov (ed.) (Agosto de 2008). Técnicas y aplicaciones de reescritura: 19ª Conferencia Internacional, RTA 2008 Hagenberg, Austria, 15 al 17 de julio de 2008, Actas (Notas de conferencias en Ciencias de la Computación) . Saltador. ISBN 3-540-70588-0.CS1 maint: texto adicional: lista de autores ( enlace )