Skip to main content
SpringerLink
Log in
Book cover

New Computational Paradigms

First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. S. Barry Cooper

    1. School of Mathematics, University of Leeds, Leeds, U.K.

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Benedikt Löwe

    1. Department Mathematik, Universität Hamburg, Hamburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Leen Torenvliet

    1. Universiteit van Amsterdam,  

    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 3526)

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

Included in the following conference series:

Conference proceedings info: CiE 2005.

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 (68 papers)

  1. Front Matter

    Download chapter PDF

  2. Introduction: If CiE Did Not Exist, It Would Be Necessary to Invent It

    • S. Barry Cooper
    Pages 1-7

  3. Computably Enumerable Sets in the Solovay and the Strong Weak Truth Table Degrees

    • George Barmpalias
    Pages 8-17

  4. The Fan Theorem and Uniform Continuity

    • Josef Berger
    Pages 18-22

  5. Continuous Semantics for Strong Normalization

    • Ulrich Berger
    Pages 23-34

  6. A Thread Algebra with Multi-level Strategic Interleaving

    • Jan A. Bergstra, C. A. (Kees) Middelburg
    Pages 35-48

  7. Membrane Computing — Current Results and Future Problems

    • Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, German Terrazas
    Pages 49-53

  8. How to Compare the Power of Computational Models

    • Udi Boker, Nachum Dershowitz
    Pages 54-64

  9. Recombinant DNA ,Gene Splicing as Generative Devices of Formal Languages

    • Paola Bonizzoni, Clelia De Felice, Giancarlo Mauri
    Pages 65-67

  10. Quantum Computing

    • Harry Buhrman
    Pages 68-68

  11. Symbol Grounding in Connectionist and Adaptive Agent Models

    • Angelo Cangelosi
    Pages 69-74

  12. The Complexity of Inductive Definability

    • Douglas Cenzer, Jeffrey B. Remmel
    Pages 75-85

  13. A Logical Approach to Abstract Algebra

    • Thierry Coquand
    Pages 86-95

  14. Schnorr Dimension

    • Rodney Downey, Wolfgang Merkle, Jan Reimann
    Pages 96-105

  15. Abstract Geometrical Computation: Turing-Computing Ability and Undecidability

    • Jérôme Durand-Lose
    Pages 106-116

  16. Computability in Computational Geometry

    • Abbas Edalat, Ali A. Khanban, André Lieutier
    Pages 117-127

  17. Shrad: A Language for Sequential Real Number Computation

    • Amin Farjudian
    Pages 128-128

  18. Borel Ranks and Wadge Degrees of Context Free ω-Languages

    • Olivier Finkel
    Pages 129-138

  19. Fewer Epistemological Challenges for Connectionism

    • Artur S. d’Avila Garcez
    Pages 139-149

  20. An Algebraic View on Exact Learning from Queries

    • Ricard Gavaldá
    Pages 150-151
Back to top

Other volumes

  1. New Computational Paradigms

Keywords

Editors and Affiliations

  • School of Mathematics, University of Leeds, Leeds, U.K.

    S. Barry Cooper

  • Department Mathematik, Universität Hamburg, Hamburg, Germany

    Benedikt Löwe

  • Universiteit van Amsterdam,  

    Leen Torenvliet

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation