ARI: Automation of Rewriting Infrastructure
ARI is a joint FWF/JSPS project. It will start on 1 July 2022 and run for three years. Further details can be found here.
Members
-
FWF project number
I 5943-NContact
aart middeldorp at uibk dot ac dot atPublications
Confluence Criteria for Logically Constrained Rewrite Systems
Jonas Schöpf, Aart Middeldorp
Proceedings of the 29th International Conference on Automata Deduction (CADE-29),
Lecture Notes in Artificial Intelligence 14132,
pp. 474-490,
2023.
Formalizing Almost Development Closed Critical Pairs
Christina Kohl, Aart Middeldorp
Proceedings of the 14th International Conference on Interactive Theorem Proving,
Leibniz International Proceedings in Informatics 268,
pp. 38:1-38:8,
2023.
A Formalization of the Development Closedness Criterion for Left-Linear Term Rewrite Systems
Christina Kohl, Aart Middeldorp
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2023),
pp. 197-210,
2023.