Sciweavers

Share
SAC
2011
ACM

Quotients revisited for Isabelle/HOL

8 years 1 months ago
Quotients revisited for Isabelle/HOL
Higher-Order Logic (HOL) is based on a small logic kernel, whose
Cezary Kaliszyk, Christian Urban
Added 17 Sep 2011
Updated 17 Sep 2011
Type Journal
Year 2011
Where SAC
Authors Cezary Kaliszyk, Christian Urban
Comments (0)
books