116 search results - page 24 / 24 » Automatic Abstraction for Intervals Using Boolean Formulae |
TPHOL
1999
IEEE
13 years 10 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...