Programs, Proofs, Processes: 6th Conference on Computability in Europe, Cie, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; Proceedings
Fernando Ferreira (ed.)
Springer (2010)
| Abstract | The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. | |||||||||
| Keywords | Computable functions Computer science Mathematics Computational complexity Theoretische Informatik Berechenbarkeit Berechnungskomplexität Beweistheorie Prozessalgebra Mathematische Logik | |||||||||
| Categories | ||||||||||
| Buy the book | $109.00 direct from Amazon Amazon page | |||||||||
| Call number | QA9.59.C67 2010 | |||||||||
| ISBN(s) | 9783642139611 3642139612 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesArto Salomaa (1985). Computation and Automata. Cambridge University Press.
Nigel Cutland (1980). Computability, an Introduction to Recursive Function Theory. Cambridge University Press.
Snehashish Chakraverty (ed.) (2010). Proceedings of International Conference on Challenges and Applications of Mathematics in Science and Technology: Camist, January 11-13, 2010. [REVIEW] Macmillan Publishers India.
E. Börger (1989). Computability, Complexity, Logic. New York, N.Y., U.S.A.Elsevier Science Pub. Co..
F. W. Kroon & W. A. Burkhard (1990). On a Complexity-Based Way of Constructivizing the Recursive Functions. Studia Logica 49 (1):133 - 149.
Oron Shagrir (1997). Two Dogmas of Computationalism. Minds and Machines 7 (3):321-44.
Amnon H. Eden (2007). Three Paradigms of Computer Science. Minds and Machines 17 (2).
Carlos Augusto Priscdio (2002). Review: Richard L. Epstein, Walter A. Carnielli, Computability. Computable Functions, Logic, and the Foundations of Mathematics ; Richard L. Epstein, Walter A. Carnielli, Computability. Computable Functions, Logic, and the Foundations of Mathematics. Second Edition of the Preceding. [REVIEW] Bulletin of Symbolic Logic 8 (1):101-104.
Analytics
Monthly downloads |
Added to index2012-05-31Total downloads2 ( #232,382 of 549,065 )Recent downloads (6 months)1 ( #63,185 of 549,065 )How can I increase my downloads? |
My notes
Discussion
