A verified algorithm for deciding pattern completeness

DOI10.4230/LIPICS.FSCD.2024.27MaRDI QIDQ6874982zbMATH OpenFDO

Authors René Thiemann, Akihisa Yamada

Publication date 14 January 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

pattern matchingterm rewritingIsabelle/HOL

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: A verified algorithm for deciding pattern completeness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6874982)