13383 search results - page 153 / 2677 » Abstractions from proofs |
153
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...
123
click to vote
CONCUR
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. We show how to apply Howe’s method for the proof of congruence of early bisimilarities in a higher-order process calculus with
134
click to vote
ACISP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A security proof in the Bellare
141
click to vote
CPC
2006
15 years 6 months ago
2006
Abstract. The main results of this paper are regularity and counting lemmas for 3uniform hypergraphs. A combination of these two results gives a new proof of a theorem of Frankl an...
157
click to vote
AC
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. In the late 80's Blum, Luby, Rubinfeld, Kannan et al. pioneered the theory of self