Skip to main content
SpringerLink
Log in
Book cover

Computation and Logic in the Real World

Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. S. Barry Cooper

    1. Dept. of Pure Mathematics, University of Leeds, Leeds, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Benedikt Löwe

    1. Institue for Logic, Language and Computation (ILLC), Universiteit van Amsterdam, TV Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Andrea Sorbi

    1. Dipartimento di Scienze Matematiche ed Informatiche “R. Magari”, University of Siena, Siena, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: CiE 2007.

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

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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

Licence this eBook for your library

Institutional subscriptions

Table of contents (87 papers)

  1. Front Matter

    Download chapter PDF

  2. Shifting and Lifting of Cellular Automata

    • Luigi Acerbi, Alberto Dennunzio, Enrico Formenti
    Pages 1-10

  3. Learning as Data Compression

    • Pieter Adriaans
    Pages 11-24

  4. Reachability Problems: An Update

    • Eric Allender
    Pages 25-27

  5. RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice

    • Andrej Bauer, Christopher A. Stone
    Pages 28-42

  6. Producer/Consumer in Membrane Systems and Petri Nets

    • Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan
    Pages 43-52

  7. A Minimal Pair in the Quotient Structure M/NCup

    • Rongfang Bie, Guohua Wu
    Pages 53-62

  8. Constructive Dimension and Weak Truth-Table Degrees

    • Laurent Bienvenu, David Doty, Frank Stephan
    Pages 63-72

  9. A Classification of Viruses Through Recursion Theorems

    • Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
    Pages 73-82

  10. Borel Complexity of Topological Operations on Computable Metric Spaces

    • Vasco Brattka, Guido Gherardi
    Pages 83-97

  11. Colocatedness and Lebesgue Integrability

    • Douglas S. Bridges
    Pages 98-104

  12. Computing with Genetic Gates

    • Nadia Busi, Claudio Zandron
    Pages 105-114

  13. Resource Restricted Computability Theoretic Learning: Illustrative Topics and Problems

    • John Case
    Pages 115-124

  14. Characterizing Programming Systems Allowing Program Self-reference

    • John Case, Samuel E. MoeliusIII
    Pages 125-134

  15. K-Trivial Closed Sets and Continuous Functions

    • George Barmpalias, Douglas Cenzer, Jeffrey B. Remmel, Rebecca Weber
    Pages 135-145

  16. Pseudojump Operators and \(\Pi^0_1\) Classes

    • Douglas Cenzer, Geoffrey LaForte, Guohua Wu
    Pages 146-151

  17. Sofic Trace Subshift of a Cellular Automaton

    • Julien Cervelle, Enrico Formenti, Pierre Guillon
    Pages 152-161

  18. Thin Maximal Antichains in the Turing Degrees

    • Chi Tat Chong, Liang Yu
    Pages 162-168

  19. Effective Computation for Nonlinear Systems

    • Pieter Collins
    Pages 169-178

  20. On Rules and Parameter Free Systems in Bounded Arithmetic

    • Andres Cordòn-Franco, Alejandro Fernández-Margarit, Francisco Felix Lara-Martín
    Pages 179-188
Back to top

Other volumes

  1. Computation and Logic in the Real World

Keywords

Editors and Affiliations

  • Dept. of Pure Mathematics, University of Leeds, Leeds, UK

    S. Barry Cooper

  • Institue for Logic, Language and Computation (ILLC), Universiteit van Amsterdam, TV Amsterdam, The Netherlands

    Benedikt Löwe

  • Dipartimento di Scienze Matematiche ed Informatiche “R. Magari”, University of Siena, Siena, Italy

    Andrea Sorbi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation