Fabian Mitterwallner

According to our database, Fabian Mitterwallner authored at least 6 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Confluence of Logically Constrained Rewrite Systems Revisited.

Jonas Schöpf, Fabian Mitterwallner, Aart Middeldorp

CoRR, 2024

2023

First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification.

Aart Middeldorp, Alexander Lochmann, Fabian Mitterwallner

J. Autom. Reason., June, 2023

Linear Termination over N is Undecidable.

Fabian Mitterwallner, Aart Middeldorp, René Thiemann

CoRR, 2023

2022

Polynomial Termination Over ℕ Is Undecidable.

Fabian Mitterwallner, Aart Middeldorp

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

Certifying Proofs in the First-Order Theory of Rewriting.

Fabian Mitterwallner, Alexander Lochmann, Aart Middeldorp, Bertram Felgenhauer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems.

Alexander Lochmann, Aart Middeldorp, Fabian Mitterwallner, Bertram Felgenhauer

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021