446 search results - page 5 / 90 » Automating Theories in Intuitionistic Logic |
CSL
2007
Springer
15 years 4 months ago
2007
Springer
CSL
2009
Springer
15 years 4 months ago
2009
Springer
114
Voted
ESOP
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
76
Voted
CADE
2001
Springer
15 years 10 months ago
2001
Springer
The STRIP system is a theorem prover for intuitionistic propositional logic with two main characteristics: it deals with the duplication of formulae during proof-search from a fine...
IGPL
2010
14 years 8 months ago
2010
