Alexander Lochmann

Reducing Rewrite Properties to Properties on Ground Terms

by Alexander Lochmann 📧

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