1
Publicat 2007
Taula de continguts: ... -- Bounded Lattice T-Norms as an Interval Category -- Towards Systematic Analysis of Theorem Provers Search...
Obtenir text complet
Electrònic eBook
2
Publicat 2014
Taula de continguts: ... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...
Obtenir text complet
Electrònic eBook
3
Publicat 2013
Taula de continguts: ...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...
Obtenir text complet
Electrònic eBook
4
Publicat 2006
Taula de continguts: ...(?, ?) and Part*(?, ?) -- Local Connectedness and Distance Functions -- Bounded Martin’s Maximum and Strong...
Obtenir text complet
Electrònic eBook
5
Publicat 2008
Taula de continguts: ...Random Oracles -- The Random Oracle Model and the Ideal Cipher Model Are Equivalent -- Programmable...
Obtenir text complet
Electrònic eBook
6
Publicat 2012
Taula de continguts: ... Graphs.- Attribute-Based and Functional Encryption -- Functional Encryption with Bounded Collusions via...
Obtenir text complet
Electrònic eBook
7
Publicat 2015
Taula de continguts: ...General Bounds for Small Inverse Problems and Its Applications to Multi-Prime RSA...
Obtenir text complet
Electrònic eBook
8
Publicat 2010
Taula de continguts: ... Identifying Bounds on Semantic Annotations for Bioinformatics Web Service Input Parameters -- First...
Obtenir text complet
Electrònic eBook