Reducing Rewrite Properties to Properties on Ground Terms
by Alexander Lochmann
Alexander Lochmann
2022
First-Order Theory of Rewriting
by Alexander Lochmann and Bertram Felgenhauer
2021
Regular Tree Relations
by Alexander Lochmann, Bertram Felgenhauer, Christian Sternagel, René Thiemann and Thomas Sternagel