3333 search results - page 23 / 667 » Abstract Proof Search |
126
click to vote
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
170
click to vote
TCC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We investigate whether it is possible to obtain any meaningful type of zero-knowledge proofs using a one-message (i.e., noninteractive) proof system. We show that, under ...
TLCA
1997
Springer
15 years 6 months ago
1997
Springer
S TECHNICAL REPORT ABSTRACTS
93
Voted
CADE
2001
Springer
16 years 2 months ago
2001
Springer
Abstract. This paper presents a technique for automated theorem proving with free variable tableaux that does not require backtracking. Most existing automated proof procedures usi...
118
Voted
ASE
2006
15 years 2 months ago
2006
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...