6978 search results - page 203 / 1396 » On Proofs in System P |
161
click to vote
PKC
2007
Springer
16 years 20 days 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 ...
175
click to vote
PR
2007
15 years 6 months ago
2007
This article presents the design of a new functional 2D image segmentation algorithm by cell merging in a subdivision, its proof of total correctness, and the derivation of an opt...
147
click to vote
BIRTHDAY
2004
Springer
15 years 12 months ago
2004
Springer
We present a new proof that languages generated by (non extended) H systems with finite sets of axioms and rules are regular.
160
click to vote
IPL
2006
15 years 6 months ago
2006
In this paper, we propose a new proof method for strong normalization of calculi with control operators, and, by this method, we prove strong normalization of the system
163
click to vote
TYPES
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Proof erasure plays an essential role in the paradigm of programming with theorem proving. In this paper, we introduce a form of attributive types that carry an attribute...