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