Bertram Felgenhauer

E-Mails 📧

• ta.ca.kbiu @reuahneglef.martreb
• ed.xmg @e-tni

Entries

2022

First-Order Theory of Rewriting

by Alexander Lochmann 📧 and Bertram Felgenhauer

Feb 02

2021

Regular Tree Relations

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

Dec 15

2020

Implementing the Goodstein Function in λ-Calculus

by Bertram Felgenhauer 📧

Feb 21

2018

Minsky Machines

by Bertram Felgenhauer

Aug 14

2016

The Z Property

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

Jun 30

2015

Decreasing Diagrams II

by Bertram Felgenhauer 📧

Aug 20