Skip to main content
  • Conference proceedings
  • © 2005

New Computational Paradigms

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

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)

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

Conference proceedings info: CiE 2005.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (68 papers)

  1. Front Matter

  2. The Fan Theorem and Uniform Continuity

    • Josef Berger
    Pages 18-22
  3. A Thread Algebra with Multi-level Strategic Interleaving

    • Jan A. Bergstra, C. A. (Kees) Middelburg
    Pages 35-48
  4. Membrane Computing — Current Results and Future Problems

    • Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, German Terrazas
    Pages 49-53
  5. How to Compare the Power of Computational Models

    • Udi Boker, Nachum Dershowitz
    Pages 54-64
  6. Recombinant DNA ,Gene Splicing as Generative Devices of Formal Languages

    • Paola Bonizzoni, Clelia De Felice, Giancarlo Mauri
    Pages 65-67
  7. Quantum Computing

    • Harry Buhrman
    Pages 68-68
  8. The Complexity of Inductive Definability

    • Douglas Cenzer, Jeffrey B. Remmel
    Pages 75-85
  9. A Logical Approach to Abstract Algebra

    • Thierry Coquand
    Pages 86-95
  10. Schnorr Dimension

    • Rodney Downey, Wolfgang Merkle, Jan Reimann
    Pages 96-105
  11. Computability in Computational Geometry

    • Abbas Edalat, Ali A. Khanban, André Lieutier
    Pages 117-127
  12. Fewer Epistemological Challenges for Connectionism

    • Artur S. d’Avila Garcez
    Pages 139-149
  13. An Algebraic View on Exact Learning from Queries

    • Ricard Gavaldá
    Pages 150-151

Other Volumes

  1. New Computational Paradigms

Keywords

  • Computer
  • algorithms
  • analog computation
  • complexity
  • evolutionary computation
  • formal language
  • logic
  • mathematical logic
  • mathematics and computer science
  • membrane computing
  • proof theory
  • quantum computation
  • randomness
  • reverse mathematic
  • semantics
  • algorithm analysis and problem complexity

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions