13383 search results - page 153 / 2677 » Abstractions from proofs |
158
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 ...
126
click to vote
CONCUR
2009
Springer
16 years 1 months 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
140
click to vote
ACISP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A security proof in the Bellare
146
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...
164
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