Regular Tree Relations

MaRDI QIDQ7361685FDO

Authors Alexander Lochmann, Bertram Felgenhauer, Christian Sternagel, René Thiemann, Thomas Sternagel

Publication date 15 December 2021

Cites work

• Decidability of regularity and related properties of ground normal form languages

Cited in

(4)

• First-Order Theory of Rewriting
• Reducing Rewrite Properties to Properties on Ground Terms
• First Order Clause
• Abstract Substitution

This page was built for software: Regular Tree Relations