A Verified Algorithm for Deciding Pattern Completeness

René Thiemann and Akihisa Yamada
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024),   pp. 27:1-27:17, 2024.

abstract   BibTeX     doi:10.4230/LIPICS.FSCD.2024.27  
PDF