3333 search results - page 59 / 667 » Abstract Proof Search |
127
click to vote
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a practical tool for defining and proving properties of recursive functions in the Coq proof assistant. The tool generates from pseudo-code the graph of the in...
111
click to vote
ECCC
2006
15 years 3 months ago
2006
Abstract. This article points out a gap between two natural formulations of the concept of a proof of knowledge, and shows that in all natural cases (e.g., NP-statements) this gap ...
132
click to vote
CIE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...
123
Voted
CSL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...
125
click to vote
KIVS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract Most SSL/TLS-based e-commerce applications employ conventional mechanisms for user authentication. These mechanisms—if decoupled from SSL/TLS session establishment—are...