Rewriting Techniques and Applications ( RTA ) - это ежегодная международная научная конференция по теме перезаписи . Он охватывает все аспекты переписывания, включая завершение , эквациональные рассуждения , доказательство теорем , переписывание более высокого порядка , унификацию и лямбда-исчисление . Конференция состоит из рецензируемых статей с материалами, опубликованными Springer в серии LNCS до 2009 года, а с тех пор в LIPIcs.серия, опубликованная Leibniz-Zentrum für Informatik. Несколько семинаров, связанных с переписыванием, также связаны с RTA.
Первый RTA был проведен в Дижоне , Франция, в сентябре 1983 года. RTA принимает участие в федеративных конференциях Federated Logic Conference (FLoC) и Rewriting, Deduction and Programming (RDP) .
дальнейшее чтение
Андре Воронков (ред.) (Август 2008 г.). Методы перезаписи и приложения: 19-я международная конференция, RTA 2008, Хагенберг, Австрия, 15–17 июля 2008 г., Материалы (конспекты лекций по информатике) . Springer. ISBN 3-540-70588-0.CS1 maint: дополнительный текст: список авторов ( ссылка )