First-Order Theory of Rewriting

MaRDI QIDQ7361032FDO

Authors Alexander Lochmann, Bertram Felgenhauer

Publication date 2 February 2022

Cites work

• Certifying proofs in the first-order theory of rewriting
• Decidability of regularity and related properties of ground normal form languages

This page was built for software: First-Order Theory of Rewriting