73 search results - page 9 / 15 » The Strength of Multilinear Proofs |
209
click to vote
ICASSP
2009
IEEE
16 years 22 days ago
2009
IEEE
This paper introduces scale transforms to measure rhythmic similarity between two musical pieces. The rhythm of a piece of music is described by the scale transform magnitude, com...
154
click to vote
CIE
2009
Springer
16 years 16 days ago
2009
Springer
We give a combinatorial proof of a tight relationship between the Kanamori-McAloon principle and the Paris-Harrington theorem with a number-theoretic parameter function. We show th...
141
click to vote
CARDIS
1998
Springer
15 years 10 months ago
1998
Springer
We describe the implementation of the Shoup-Rubin key distribution protocol. This protocol stores long-term keys on a smartcard and uses the cryptographic capability of the card t...
155
click to vote
TLCA
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
168
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...