New Computational Paradigms

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

Editors:

ISBN: 978-3-540-26179-7 (Print) 978-3-540-32266-5 (Online)

Table of contents (68 chapters)

previous Page of 4
  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-7

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

  3. No Access

    Book Chapter

    Pages 8-17

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

  4. No Access

    Book Chapter

    Pages 18-22

    The Fan Theorem and Uniform Continuity

  5. No Access

    Book Chapter

    Pages 23-34

    Continuous Semantics for Strong Normalization

  6. No Access

    Book Chapter

    Pages 35-48

    A Thread Algebra with Multi-level Strategic Interleaving

  7. No Access

    Book Chapter

    Pages 49-53

    Membrane Computing — Current Results and Future Problems

  8. No Access

    Book Chapter

    Pages 54-64

    How to Compare the Power of Computational Models

  9. No Access

    Book Chapter

    Pages 65-67

    Recombinant DNA ,Gene Splicing as Generative Devices of Formal Languages

  10. No Access

    Book Chapter

    Pages 68-68

    Quantum Computing

  11. No Access

    Book Chapter

    Pages 69-74

    Symbol Grounding in Connectionist and Adaptive Agent Models

  12. No Access

    Book Chapter

    Pages 75-85

    The Complexity of Inductive Definability

  13. No Access

    Book Chapter

    Pages 86-95

    A Logical Approach to Abstract Algebra

  14. No Access

    Book Chapter

    Pages 96-105

    Schnorr Dimension

  15. No Access

    Book Chapter

    Pages 106-116

    Abstract Geometrical Computation: Turing-Computing Ability and Undecidability

  16. No Access

    Book Chapter

    Pages 117-127

    Computability in Computational Geometry

  17. No Access

    Book Chapter

    Pages 128-128

    Shrad: A Language for Sequential Real Number Computation

  18. No Access

    Book Chapter

    Pages 129-138

    Borel Ranks and Wadge Degrees of Context Free ω-Languages

  19. No Access

    Book Chapter

    Pages 139-149

    Fewer Epistemological Challenges for Connectionism

  20. No Access

    Book Chapter

    Pages 150-151

    An Algebraic View on Exact Learning from Queries

  21. No Access

    Book Chapter

    Pages 152-168

    The Church-Turing Thesis: Breaking the Myth

previous Page of 4