Aart Middeldorp
Universität Innsbruck
H-index: 37
Europe-Austria
Top articles of Aart Middeldorp
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Confluence of Logically Constrained Rewrite Systems Revisited | arXiv preprint arXiv:2402.13552 | Jonas Schöpf Fabian Mitterwallner Aart Middeldorp | 2024/2/21 |
Left-linear completion with AC axioms | Johannes Niederhauser Nao Hirokawa Aart Middeldorp | 2023/7/1 | |
Church–Rosser Modulo for Left-Linear TRSs Revisited | 12th International Workshop on Confluence | Johannes Niederhauser Nao Hirokawa Aart Middeldorp | 2023/8/23 |
First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification | Journal of Automated Reasoning | Aart Middeldorp Alexander Lochmann Fabian Mitterwallner | 2023/6 |
A New Format for Rewrite Systems | 12th International Workshop on Confluence | Takahito Aoto Nao Hirokawa Dohan Kim Misaki Kojima Aart Middeldorp | 2023/8/23 |
A formalization of the development closedness criterion for left-linear term rewrite systems | Christina Kohl Aart Middeldorp | 2023/1/11 | |
Linear Termination over N is Undecidable | arXiv preprint arXiv:2307.14805 | Fabian Mitterwallner Aart Middeldorp René Thiemann | 2023/7/27 |
Formalizing Confluence and Commutation Criteria Using Proof Terms | 12th International Workshop on Confluence | Christina Kohl Aart Middeldorp | 2023/8/23 |
Hydra Battles and AC Termination, Revisited | arXiv preprint arXiv:2307.14036 | Nao Hirokawa Aart Middeldorp | 2023/7/26 |
Formalizing Almost Development Closed Critical Pairs (Short Paper) | Christina Kohl Aart Middeldorp | 2023 | |
Reducing Confluence of LCTRSs to Confluence of TRSs | 12th International Workshop on Confluence | Fabian Mitterwallner Jonas Schöpf Aart Middeldorp | 2023/8/23 |
Confluence criteria for logically constrained rewrite systems | Jonas Schöpf Aart Middeldorp | 2023/7/1 | |
Hydra battles and AC termination | Nao Hirokawa Aart Middeldorp | 2023 | |
Ground Canonical Rewrite Systems Revisited | 12th International Workshop on Confluence | Aart Middeldorp Masahiko Sakai Sarah Winkler | 2023/8/23 |
Development Closed Critical Pairs: Towards a Formalized Proof | Proc. 11th International Workshop on Confluence | Christina Kohl Aart Middeldorp | 2022/8/1 |
Confluence Competition 2022 | 11th International Workshop on Confluence | Rául Gutiérrez Aart Middeldorp Naoki Nishida Kiraku Shintani | 2022/8/1 |
Formalized signature extension results for equivalence | Proc. 11th International Workshop on Confluence | Alexander Lochmann Fabian Mitterwallner Aart Middeldorp | 2022/8/1 |
CoCo 2022 Participant: FORTify 2.0 | Proc. 11th International Workshop on Confluence | Alexander Lochmann Fabian Mitterwallner Aart Middeldorp | 2022 |
Polynomial Termination Over ℕ Is Undecidable | Fabian Mitterwallner Aart Middeldorp | 2022 | |
CoCo 2019: report on the eighth confluence competition | International Journal on Software Tools for Technology Transfer | Aart Middeldorp Julian Nagele Kiraku Shintani | 2021/12 |