Personal information

No personal information available

Activities

Collapse all

Works (4)

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

Journal of Automated Reasoning
2023-06 | Journal article
DOI: 10.1007/s10817-023-09661-7
Contributors: Aart Middeldorp; Alexander Lochmann; Fabian Mitterwallner
Source: check_circle
Crossref

Certifying Proofs in the First-Order Theory of Rewriting

2021 | Book chapter
DOI: 10.1007/978-3-030-72013-1_7
Contributors: Fabian Mitterwallner; Alexander Lochmann; Aart Middeldorp; Bertram Felgenhauer
Source: check_circle
Crossref

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

2021-01-17 | Conference paper
DOI: 10.1145/3437992.3439918
Contributors: Alexander Lochmann; Aart Middeldorp; Fabian Mitterwallner; Bertram Felgenhauer
Source: check_circle
Crossref

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

2020 | Book chapter
DOI: 10.1007/978-3-030-45237-7_11
Contributors: Alexander Lochmann; Aart Middeldorp
Source: check_circle
Crossref
How many people are using ORCID?