234 search results - page 13 / 47 » Proof Nets and the Identity of Proofs |
FLAIRS
2001
14 years 11 months ago
2001
This paper presents a methodand implementation resuits for the transformation of WordNetglosses into logic forms. Theglosses, currently expressed in English are a rich source of w...
CSL
2009
Springer
15 years 2 months ago
2009
Springer
We study the confluence of Ehrhard and Regnier's differential nets with exponential promotion, in a pure setting. Confluence fails with promotion and codereliction in absence ...
DM
2007
14 years 10 months ago
2007
We consider the problem of determining the maximum number of moves required to sort a permutation of [n] using cut-and-paste operations, in which a segment is cut out and then pas...
PKC
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Zero-knowledge proofs with witness elimination are protocols that enable a prover to demonstrate knowledge of a witness to the verifier that accepts the interaction prov...
JCT
2007
14 years 9 months ago
2007
In answer to a question of Andrews about finding combinatorial proofs of two identities in Ramanujan’s “lost” notebook, we obtain weighted forms of Euler’s theorem on part...