## E-Mails 📧

- ta.ca.kbiu @nnamhcol.rednaxela

## Entries

### 2022

##### Reducing Rewrite Properties to Properties on Ground Terms

by Alexander Lochmann 📧
Jun 02

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