Identity of Proofs Based on Normalization and Generality

Publisher： Cambridge University Press

E-ISSN： 1943-5894|9|4|477-503

ISSN： 1079-8986

Source： Bulletin of Symbolic Logic, Vol.9, Iss.4, 2003-12, pp. : 477-503

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Generality of proofs and its Brauerian representation

By  

The Journal of Symbolic Logic, Vol. 68, Iss. 3, 2003-09 ,pp. : 740-750

Cambridge University Press

Access to resources Recommend Favorite

Handling Expected Polynomial-Time Strategies in Simulation-Based Security Proofs

By Katz Jonathan  

Journal of Cryptology, Vol. 21, Iss. 3, 2008-07 ,pp. : 303-349

Springer Publishing Company

Access to resources Recommend Favorite

q-Hypergeometric Proofs of Polynomial Analogues of the Triple Product Identity, Lebesgue’s Identity and Euler’s Pentagonal Number Theorem

By Warnaar S.  

The Ramanujan Journal, Vol. 8, Iss. 4, 2005-01 ,pp. : 467-474

Springer Publishing Company

Access to resources Recommend Favorite

Wildcarded Identity-Based Encryption

By Abdalla Michel  

Journal of Cryptology, Vol. 24, Iss. 1, 2011-01 ,pp. : 42-82

Springer Publishing Company

Access to resources Recommend Favorite

Implicit proofs

By  

The Journal of Symbolic Logic, Vol. 69, Iss. 2, 2004-06 ,pp. : 387-397

Cambridge University Press

Access to resources Recommend Favorite