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

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

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.
Logical Aspects of Computational Linguistics (6th international conference, LACL2011, Montpellier, France, June/July 2011 Proceedings).Sylvain Pogodalla & Jean-Philippe Prost (eds.) - 2011 - Springer.
Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01).C. S. Calude - 2001 - 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.
Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea. Proceedings.Beckmann Arnold, Berger Ulrich, Löwe Benedikt & V. Tucker John (eds.) - 2006 - Springer.
Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings.Bruno Buchberger & John A. Campbell - 2004 - Springer Verlag.
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.
Computational Intelligence. Theory and Applications: International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 Proceedings.Bernd Reusch - 2001 - Springer Verlag.
Inductive Logic Programming: 8th International Conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998, Proceedings.David Page - 1998 - Springer Verlag.
Modeling and Using Context.Michael Beigl, Henning Christiansen, Thomas Roth-Berghofer, Anders Kofod-Petersen, Kenny Coventry & Hedda Schmidtke - unknown

Analytics

Added to PP
2023-04-10

Downloads
4 (#1,802,700)

6 months
4 (#1,247,093)

Historical graph of downloads
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