Fabian Mitterwallner

11 papers A* 2B 2Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
Automated Strategy Invention for Confluence of Term Rewrite Systems.
IJCAI
Liao Zhang, Fabian Mitterwallner, Jan Jakubuv, Cezary Kaliszyk
2024 J jnl
Automated Strategy Invention for Confluence of Term Rewrite Systems.
CoRR
Liao Zhang, Fabian Mitterwallner, Jan Jakubuv, Cezary Kaliszyk
2024 — conf
Confluence of Logically Constrained Rewrite Systems Revisited.
IJCAR (2)
Jonas Schöpf, Fabian Mitterwallner, Aart Middeldorp
2024 J jnl
Confluence of Logically Constrained Rewrite Systems Revisited.
CoRR
Jonas Schöpf, Fabian Mitterwallner, Aart Middeldorp
2024 A* conf
Linear Termination is Undecidable.
LICS
Fabian Mitterwallner, Aart Middeldorp, René Thiemann
2024 J jnl
Undecidability Results on Orienting Single Rewrite Rules.
Arch. Formal Proofs
René Thiemann, Fabian Mitterwallner, Aart Middeldorp
2023 J jnl
First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification.
J. Autom. Reason.
Aart Middeldorp, Alexander Lochmann, Fabian Mitterwallner
2023 J jnl
Linear Termination over N is Undecidable.
CoRR
Fabian Mitterwallner, Aart Middeldorp, René Thiemann
2022 B conf
Polynomial Termination Over ℕ Is Undecidable.
FSCD
Fabian Mitterwallner, Aart Middeldorp
2021 B conf
A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems.
CPP
Alexander Lochmann, Aart Middeldorp, Fabian Mitterwallner, Bertram Felgenhauer
2021 — conf
Certifying Proofs in the First-Order Theory of Rewriting.
TACAS (2)
Fabian Mitterwallner, Alexander Lochmann, Aart Middeldorp, Bertram Felgenhauer