Международная конференция по методам и приложениям переписывания

В этой статье есть несколько проблем. Помогите улучшить ее или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти сообщения ) Тема этой статьи может не соответствовать общим правилам значимости Википедии . Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted. Find sources: "International Conference on Rewriting Techniques and Applications" – news · newspapers · books · scholar · JSTOR (September 2011) (Learn how and when to remove this message) This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources. Find sources: "International Conference on Rewriting Techniques and Applications" – news · newspapers · books · scholar · JSTOR (September 2011) (Learn how and when to remove this message)

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 объединилась с International Conference on Typed Lambda Calculi and Applications, образовав International Conference on Formal Structures for Computation and Deduction (FSCD).

• Официальный сайт
• Список 26 конференций RTA, 1985-2015 гг.
• Список шести конференций FSCD, 2016-2021 гг.
• Методы и применение переписывания
• Международная конференция по формальным структурам для вычислений и дедукции