793 search results - page 39 / 159 » Argumentation and standards of proof |
102
Voted
CSR
2008
Springer
15 years 2 months ago
2008
Springer
We define a denotational semantics for Light Affine Logic (LAL) which has the property that denotations of functions are polynomial time computable by construction of the model. Th...
105
Voted
ENTCS
2007
15 years 23 days ago
2007
Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the primary tool for tactics composition. In this pape...
83
Voted
PKC
2007
Springer
15 years 7 months ago
2007
Springer
We give a short constant-size group signature scheme, which we prove fully secure under reasonable assumptions in bilinear groups, in the standard model. We achieve this result by ...
88
Voted
CIE
2008
Springer
15 years 2 months ago
2008
Springer
The proof of the relative consistency of the axiom of choice has been mechanized using Isabelle/ZF, building on a previous mechanization of the reflection theorem. The heavy relia...
110
Voted
ENTCS
2006
15 years 25 days ago
2006
We present a proof technique in -calculus that can facilitate inductive reasoning on -terms by separating certain -developments from other -reductions. We give proofs based on thi...