1818 search results - page 49 / 364 » Granularity-Adaptive Proof Presentation |
135
Voted
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
115
Voted
FSTTCS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...
101
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In 2003, Leonid A. Levin presented the idea of a combinatorial complete one-way function and a sketch of the proof that Tiling represents such a function. In this paper, we presen...
118
click to vote
TABLEAUX
2005
Springer
15 years 8 months ago
2005
Springer
For applications of first-order automated theorem provers in a wider verification context it is essential to provide a means of presenting and checking automatically found proofs...
106
Voted
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
—Zero-knowledge proofs have a vast applicability in the domain of cryptography, stemming from the fact that they can be used to force potentially malicious parties to abide by th...