2585 search results - page 1 / 517 » Automating Coherent Logic |
79
Voted
ECSQARU
2001
Springer
15 years 5 months ago
2001
Springer
66
Voted
CSL
2006
Springer
15 years 3 months ago
2006
Springer
106
Voted
LPAR
2005
Springer
15 years 6 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
108
Voted
JAR
2008
15 years 1 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
108
click to vote
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heap...