First-Order Theory of Rewriting
by Alexander Lochmann and Bertram Felgenhauer
Bertram Felgenhauer
2022
2021
Regular Tree Relations
by Alexander Lochmann, Bertram Felgenhauer, Christian Sternagel, René Thiemann and Thomas Sternagel
2020
Implementing the Goodstein Function in λ-Calculus
by Bertram Felgenhauer
2018
2016
The Z Property
by Bertram Felgenhauer, Julian Nagele, Vincent van Oostrom and Christian Sternagel