Sorted Terms

MaRDI QIDQ7361363FDO

Authors Akihisa Yamada, René Thiemann

Publication date 27 May 2024

Cites work

• A verified algorithm for deciding pattern completeness

Cited in

(3)

• Verifying a Decision Procedure for Pattern Completeness
• Sorted Rewriting, Conditional Rewriting, and Logically Constrained Rewriting
• First Order Clause

This page was built for software: Sorted Terms