Computability in Europe 2008
Archive for Mathematical Logic 49 (2):119-121 (2010)
Abstract
This article has no associated abstract. (fix it)Author's Profile
DOI
10.1007/s00153-009-0166-y
My notes
Similar books and articles
Computability in Europe 2009.Klaus Ambos-Spies, Arnold Beckmann, Samuel R. Buss & Benedikt Löwe - 2012 - Annals of Pure and Applied Logic 163 (5):483-484.
Computability in Europe 2011.Sam Buss, Benedikt Löwe, Dag Normann & Ivan Soskov - 2013 - Annals of Pure and Applied Logic 164 (5):509-510.
Computability in Europe 2010.Fernando Ferreira, Martin Hyland, Benedikt Löwe & Elvira Mayordomo - 2012 - Annals of Pure and Applied Logic 163 (6):621-622.
Computability and continuity in computable metric partial algebras equipped with computability structures.F. Dahlgren - 2004 - Mathematical Logic Quarterly 50 (4):486.
6th Conference on Computability in Europe "Programs, Proofs, Processes".Fernando Ferreira - 2011 - Bulletin of Symbolic Logic 17 (3):478-479.
Computability and Complexity: From a Programming Perspective Vol. 21.N. D. Jones - 1997 - MIT Press.
Remarks on the development of computability.Stewart Shapiro - 1983 - History and Philosophy of Logic 4 (1-2):203-220.
Turing-, human- and physical computability: An unasked question. [REVIEW]Eli Dresner - 2008 - Minds and Machines 18 (3):349-355.
Review: Dimiter G. Skordev, Computability in Combinatory Spaces. An Algebraic Generalization of Abstract First Order Computability. [REVIEW]Dag Normann - 1995 - Journal of Symbolic Logic 60 (2):695-696.
Computability Theory: An Introduction to Recursion Theory.Herbert B. Enderton - 2010 - Academic Press.
Analytics
Added to PP
2013-11-23
Downloads
21 (#542,943)
6 months
1 (#448,894)
2013-11-23
Downloads
21 (#542,943)
6 months
1 (#448,894)
Historical graph of downloads
