234 search results - page 6 / 47 » Proof Nets and the Identity of Proofs |
EUROCRYPT
2004
Springer
15 years 3 months ago
2004
Springer
EJC
2008
14 years 10 months ago
2008
In this paper, the q
105
click to vote
JCT
2011
14 years 5 months ago
2011
Our recent paper [5] provides extensions to two classical determinantal results of Bressoud and Wei, and of Koike. The proofs in that paper were algebraic. The present paper conta...
TLCA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
TLCA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...