Alexander Lochmann

According to our database, Alexander Lochmann authored at least 8 papers between 2019 and 2023.

Collaborative distances:

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

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

2022

First-Order Theory of Rewriting.

Alexander Lochmann, Bertram Felgenhauer

Arch. Formal Proofs, 2022

Reducing Rewrite Properties to Properties on Ground Terms.

Alexander Lochmann

Arch. Formal Proofs, 2022

2021

Regular Tree Relations.

Alexander Lochmann, Bertram Felgenhauer, Christian Sternagel, René Thiemann, Thomas Sternagel

Arch. Formal Proofs, 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

2020

Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting.

Alexander Lochmann, Aart Middeldorp

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

2019

Certified ACKBO.

Alexander Lochmann, Christian Sternagel

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019