1818 search results - page 44 / 364 » Granularity-Adaptive Proof Presentation |
139
click to vote
TABLEAUX
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
107
click to vote
AISC
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Assumptions about the domains of partial functions are necessary in state-of-the-art proof assistants. On the other hand when mathematicians write about partial functions...
131
click to vote
CCS
2008
ACM
15 years 5 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...
139
click to vote
SEMWIKI
2008
15 years 4 months ago
2008
Abstract. Mathematical documents, and their instrumentation by computers, have rich structure at the layers of presentation, metadata and semantics, as objects in a system for form...
107
click to vote
IWFM
1998
15 years 4 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...