Springer celebrates 175 years of publishing excellence! Join us >>

Theoretical Computer Science and General Issues

Models of Computation in Context

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

Editors: Löwe, B., Normann, D., Soskov, I., Soskova, A. (Eds.)

  • Fast track proceedings

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-21875-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-21874-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (33 chapters)

  • Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata

    Arrighi, Pablo (et al.)

    Pages 1-10

  • Three Theorems on n-REA Degrees: Proof-Readers and Verifiers

    Cai, Mingzhong

    Pages 11-20

  • A Computational Approach to an Alternative Working Environment for the Constructible Universe

    Carl, Merlin

    Pages 21-30

  • Automatic Learners with Feedback Queries

    Case, John (et al.)

    Pages 31-40

  • Splicing Systems: Accepting Versus Generating

    Castellanos, Juan (et al.)

    Pages 41-50

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-21875-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-21874-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Models of Computation in Context
Book Subtitle
7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings
Editors
  • Benedikt Löwe
  • Dag Normann
  • Ivan Soskov
  • Alexandra Soskova
Series Title
Theoretical Computer Science and General Issues
Series Volume
6735
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Berlin Heidelberg
eBook ISBN
978-3-642-21875-0
DOI
10.1007/978-3-642-21875-0
Softcover ISBN
978-3-642-21874-3
Edition Number
1
Number of Pages
XIII, 319
Number of Illustrations and Tables
16 b/w illustrations, 11 illustrations in colour
Topics