234 search results - page 5 / 47 » Proof Nets and the Identity of Proofs |
EJC
2010
14 years 8 months ago
2010
The Rogers-Ramanujan Identities have many natural and significant generalizations. The generalization presented in this note was first studied by D. Bressoud, by considering the...
JOLLI
1998
14 years 9 months ago
1998
This paper shows how proof nets can be used to formalize the notion of “incomplete dependency” used in psycholinguistic theories of the unacceptability of center-embedded const...
100
click to vote
ISSE
2010
14 years 4 months ago
2010
In this work, we address the formalisation of symmetric nets, a subclass of coloured Petri nets, refinement in COQ. We first provide a formalisation of the net models, and of thei...
71
Voted
COMBINATORICS
2004
14 years 10 months ago
2004
We prove Borchardt's identity det 1 xi - yj per 1 xi - yj = det 1 (xi - yj)2 by means of sign-reversing involutions.
IMA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Identity-based encryption (IBE) is a special asymmetric encryption method where a public encryption key can be an arbitrary identifier and the corresponding private decr...