Mathematical proofs at a crossroad (2004)

Cached

Download Links

by Cristian S. Calude , Solomon Marcus
Venue:Theory Is Forever, Lectures Notes in Comput. Sci. 3113
Citations:7 - 7 self

Documents Related by Co-Citation

490 Formal Languages – Ning Yu - 1973
1058 The knowledge complexity of interactive proof systems – Shafi Goldwasser, Silvio Micali, Charles Rackoff - 1985
465 Nonparametric Regression and Generalized Linear Models (Chapman – P J Green, B J Silverman - 1994
703 Introduction to Metamathematics – S Kleene - 1952
642 Uniform Resource Identifiers (URI): Generic Syntax – T Berners-Lee, R Fielding, L Masinter - 1998
739 L.: Isabelle/HOL: a proof assistant for higher-order logic – T Nipkow, M Wenzel, Paulson - 2002
1724 An introduction to Kolmogorov Complexity and its Applications: Preface to the First Edition – Ming Li, Paul Vitanyi - 1997
1559 Distributed Algorithms – N A Lynch - 1996
1255 The Byzantine Generals Problem – Leslie Lamport, Robert Shostak, Marshall Pease - 1982