## 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