Coverset Induction with Partiality and Subsorts: A Powerlist Case Study

DOI10.1007/978-3-642-14052-5_20zbMath1291.68346OpenAlexW1529530770MaRDI QIDQ5747655

José Meseguer, Joe Hendrix, Deepak Kapur

Publication date: 14 September 2010

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14052-5_20

Mathematics Subject Classification ID

Related Items (2)

Principles of proof scores in CafeOBJ ⋮ Twenty years of rewriting logic

Uses Software

• ACL2
• Maude

This page was built for publication: Coverset Induction with Partiality and Subsorts: A Powerlist Case Study