Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2011

Models of Computation in Context

7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings

Editors:

  1. Benedikt Löwe

    1. Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dag Normann

    1. Department of Mathematics, University of Oslo, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ivan Soskov

    1. Department of Mathematical Logic and Applications, Sofia University, Sofia, Bulgaria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Alexandra Soskova

    1. Department of Mathematical Logic and Applications, Sofia University, Sofia, Bulgaria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6735)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): CiE: Conference on Computability in Europe

Conference proceedings info: CiE 2011.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (33 papers)

  1. Front Matter

    PDF

  2. Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata

    • Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry
    Pages 1-10

  5. Automatic Learners with Feedback Queries

    • John Case, Sanjay Jain, Yuh Shin Ong, Pavel Semukhin, Frank Stephan
    Pages 31-40

  6. Splicing Systems: Accepting Versus Generating

    • Juan Castellanos, Victor Mitrana, Eugenio Santos
    Pages 41-50

  7. Effective Categoricity of Injection Structures

    • Douglas Cenzer, Valentina Harizanov, Jeffrey B. Remmel
    Pages 51-60

  8. Consistency and Optimality

    • Yijia Chen, Jörg Flum, Moritz Müller
    Pages 61-70

  9. Cupping and Diamond Embeddings: A Unifying Approach

    • Chengling Fang, Jiang Liu, Guohua Wu
    Pages 71-80

  12. Axiomatizing Resource Bounds for Measure

    • Xiaoyang Gu, Jack H. Lutz, Satyadev Nandakumar, James S. Royer
    Pages 102-111

  13. Complexity Issues for Preorders on Finite Labeled Forests

    • Peter Hertling, Victor Selivanov
    Pages 112-121

  14. Randomness and the Ergodic Decomposition

    • Mathieu Hoyrup
    Pages 122-131

  15. Computability of the Radon-Nikodym Derivative

    • Mathieu Hoyrup, Cristóbal Rojas, Klaus Weihrauch
    Pages 132-141

  16. Extracting Winning Strategies in Update Games

    • Imran Khaliq, Bakhadyr Khoussainov, Jiamou Liu
    Pages 142-151

  18. Computability Power of Mobility in Enhanced Mobile Membranes

    • Shankara Narayanan Krishna, Gabriel Ciobanu
    Pages 160-170

  19. Nature-Based Problems in Cellular Automata

    • Martin Kutrib
    Pages 171-180

  20. Multi-Resolution Cellular Automata for Real Computation

    • James I. Lathrop, Jack H. Lutz, Brian Patterson
    Pages 181-190
Back to top

Other Volumes

  1. Models of Computation in Context

Back to top

About this book

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands

    Benedikt Löwe

  • Department of Mathematics, University of Oslo, Oslo, Norway

    Dag Normann

  • Department of Mathematical Logic and Applications, Sofia University, Sofia, Bulgaria

    Ivan Soskov, Alexandra Soskova

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation