Passages of proof (2004)

by Cristian S. Calude , Elena Calude , Solomon Marcus
Venue:BULL. EUR. ASSOC. THEOR. COMPUT. SCI. EATCS
Citations:1 - 1 self

Active Bibliography

Centre for Discrete Mathematics and Theoretical Computer ScienceSearching for Spanning k-Caterpillars and k-Trees – Michael J. Dinneen, Masoud Khosravani, Michael J. Dinneen, Masoud Khosravani - 2008
802 Applied Cryptography -- Protocols, Algorithms, and . . . – Bruce Schneier
968 Head-Driven Statistical Models for Natural Language Parsing – Michael Collins - 1999
508 Three Generative, Lexicalised Models for Statistical Parsing – Michael Collins - 1997
641 Universally composable security: A new paradigm for cryptographic protocols – Ran Canetti - 2013
726 Proof verification and hardness of approximation problems – Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan, Mario Szegedy - 1992
637 A Threshold of ln n for Approximating Set Cover – Uriel Feige - 1998
734 Pseudo-Random Generation from One-Way Functions – Johan HÃ¥stad, Russell Impagliazzo, Leonid A. Levin, Michael Luby - 1988
838 A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks – Shafi Goldwasser, Silvio Micali, Ronald L. Rivest - 1995