438 search results - page 1 / 88 » On theorem proving in annotated logics |
114
Voted
JANCL
2000
15 years 5 months ago
2000
176
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
140
Voted
CADE
1994
Springer
15 years 10 months ago
1994
Springer
117
Voted
CADE
1990
Springer
15 years 10 months ago
1990
Springer
