Sciweavers

103
Voted
SAC
2011
ACM
14 years 10 days ago
Quotients revisited for Isabelle/HOL
Higher-Order Logic (HOL) is based on a small logic kernel, whose
Cezary Kaliszyk, Christian Urban