Международная конференция по методам и приложениям переписывания
 | В этой статье есть несколько проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти шаблонные сообщения )
|
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) . В 2016 году RTA объединилась с Международной конференцией по типизированным лямбда-исчислениям и приложениям и образовала Международную конференцию поФормальные структуры для вычислений и дедукции (FSCD).
Внешние ссылки
[ редактировать ]- Официальный сайт
- Список 26 конференций RTA, 1985–2015 гг.
- Список шести конференций FSCD, 2016-2021 гг.
- Техники и приложения переписывания
- Международная конференция по формальным структурам вычислений и дедукции
