Models of computation in context: 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27-July 2, 2011, proceedings [Book Review]

(ed.)
New York: Springer (2011)
  Copy   BIBTEX

Abstract

This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, CiE 2011, held in Sofia, Bulgaria, in June/July 2011. The 22 revised papers presented together with 11 invited lectures were carefully reviewed and selected with an acceptance rate of under 40%. The papers cover the topics computability in analysis, algebra, and geometry; classical computability theory; natural computing; relations between the physical world and formal models of computability; theory of transfinite computations; and computational linguistics.

Categories

Keywords

Reprint years

Call number

QA9.59.C67 2011

ISBN(s)

9783642218743   3642218741
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The nature of computation: logic, algorithms, applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013: proceedings.Paola Bonizzoni, Vasco Brattka & Benedikt Löwe (eds.) - 2013 - New York: Springer.
Theory and application of satisfiability testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011: proceedings.Karem A. Sakallah & Laurent Simon (eds.) - 2011 - New York: Springer.
Computability in Context: Computation and Logic in the Real World.S. B. Cooper & Andrea Sorbi (eds.) - 2011 - World Scientific.
Programs, proofs, processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; proceedings.Fernando Ferreira (ed.) - 2010 - New York: Springer.
Discrete transfinite computation models.Philip D. Welch - 2011 - In S. B. Cooper & Andrea Sorbi (eds.), Computability in Context: Computation and Logic in the Real World. World Scientific. pp. 375--414.
What are computers (if they're not thinking things)?John Preston - unknown
Typed lambda calculi and applications: 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011: proceedings.Luke Ong (ed.) - 2011 - New York: Springer.
Around europe: Bulgaria in a time of change.Zlatin Tepsiev - 1993 - Business Ethics, the Environment and Responsibility 2 (3):152–152.
Around Europe: Bulgaria in a Time of Change.Zlatin Tepsiev - 1993 - Business Ethics, the Environment and Responsibility 2 (3):152-152.
Lp -Computability.Ning Zhong & Bing-Yu Zhang - 1999 - Mathematical Logic Quarterly 45 (4):449-456.
Computation and hypercomputation.Mike Stannett - 2003 - Minds and Machines 13 (1):115-153.
Logic in Central and Eastern Europe: History, Science, and Discourse: Department of Logical Systems and Models, Institute for the Study of Societies and Knowledge, Bulgarian Academy of Sciences, Sofia, Bulgaria.R. Lutskanov - 2014 - History and Philosophy of Logic 35 (1):1-3.
Intrinsic smallness.Justin Miller - 2021 - Journal of Symbolic Logic 86 (2):558-576.
Concrete Digital Computation: What Does it Take for a Physical System to Compute? [REVIEW]Nir Fresco - 2011 - Journal of Logic, Language and Information 20 (4):513-537.
Computability in Europe 2011.Sam Buss, Benedikt Löwe, Dag Normann & Ivan Soskov - 2013 - Annals of Pure and Applied Logic 164 (5):509-510.

Analytics

Added to PP
2023-04-10

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references