Mathematical proofs at a crossroad (2004)

View PDF

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

542 Nonparametric regression and generalized linear models: a roughness penalty approach – P J Green, B W Silverman - 1994
511 Formal Languages – Ning Yu - 1973
1086 The knowledge complexity of interactive proof systems – Shafi Goldwasser, Silvio Micali, Charles Rackoff - 1985
762 Introduction to Metamathematics – S C Kleene
514 Syntactic Structures – N Chomsky - 1957
515 Interactive Theorem Proving and Program Development. Coq’Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. An EATCS series – Y Bertot, P Castéran - 2004
680 Uniform Resource Identifier (URI): Generic syntax, RFC 3986, Internet Engineering Task Force – T Berners-Lee, R Fielding, L Masinter - 2005
795 Isabelle/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 – Tobias Nipkow, Lawrence C Paulson, Markus Wenzel - 2002
1674 Distributed Algorithms – N A Lynch - 1996