Fabian Mitterwallner

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 9

Top Topics

Quantifier Free

Operational Semantics

Top Venues

Publications

Jonas Schöpf, Fabian Mitterwallner, Aart Middeldorp
Confluence of Logically Constrained Rewrite Systems Revisited. CoRR (2024)
Jonas Schöpf, Fabian Mitterwallner, Aart Middeldorp
Confluence of Logically Constrained Rewrite Systems Revisited. IJCAR (2) (2024)
Fabian Mitterwallner, Aart Middeldorp, René Thiemann
Linear Termination is Undecidable. LICS (2024)
René Thiemann, Fabian Mitterwallner, Aart Middeldorp
Undecidability Results on Orienting Single Rewrite Rules. Arch. Formal Proofs 2024 (2024)
Aart Middeldorp, Alexander Lochmann, Fabian Mitterwallner
First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification. J. Autom. Reason. 67 (2) (2023)
Fabian Mitterwallner, Aart Middeldorp, René Thiemann
Linear Termination over N is Undecidable. CoRR (2023)
Fabian Mitterwallner, Aart Middeldorp
Polynomial Termination Over ℕ Is Undecidable. FSCD (2022)
Fabian Mitterwallner, Alexander Lochmann, Aart Middeldorp, Bertram Felgenhauer
Certifying Proofs in the First-Order Theory of Rewriting. TACAS (2) (2021)
Alexander Lochmann, Aart Middeldorp, Fabian Mitterwallner, Bertram Felgenhauer
A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems. CPP (2021)