3 search results - page 1 / 1 » Quotients revisited for Isabelle HOL |
193
click to vote
SAC
2011
ACM
14 years 8 months ago
2011
ACM
Higher-Order Logic (HOL) is based on a small logic kernel, whose
171
click to vote
TPHOL
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...
220
click to vote
AISC
2010
Springer
15 years 10 months ago
2010
Springer
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...