Sorted Rewriting, Conditional Rewriting, and Logically Constrained Rewriting

MaRDI QIDQ7361328FDO

Authors Akihisa Yamada

Publication date 11 March 2026

Cites work

• Certification of Termination Proofs Using CeTA
• Functional and Logic Programming
• Term Rewriting with Logical Constraints

This page was built for software: Sorted Rewriting, Conditional Rewriting, and Logically Constrained Rewriting