Bertram Felgenhauer

First-Order Rewriting

by René Thiemann, Christian Sternagel, Christina Kirk, Martin Avanzini, Bertram Felgenhauer, Julian Nagele, Thomas Sternagel, Sarah Winkler and Akihisa Yamada

First-Order Theory of Rewriting

by Alexander Lochmann and Bertram Felgenhauer

Regular Tree Relations

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

Implementing the Goodstein Function in λ-Calculus

by Bertram Felgenhauer

Minsky Machines

by Bertram Felgenhauer

The Z Property

by Bertram Felgenhauer, Julian Nagele, Vincent van Oostrom and Christian Sternagel

Decreasing Diagrams II

by Bertram Felgenhauer