New Computational Paradigms

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

  • S. Barry Cooper
  • Benedikt Löwe
  • Leen Torenvliet
Conference proceedings CiE 2005

DOI: 10.1007/b136981

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

Table of contents

  1. Front Matter
  2. Josef Berger
    Pages 18-22
  3. Jan A. Bergstra, C. A. (Kees) Middelburg
    Pages 35-48
  4. Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, German Terrazas
    Pages 49-53
  5. Udi Boker, Nachum Dershowitz
    Pages 54-64
  6. Paola Bonizzoni, Clelia De Felice, Giancarlo Mauri
    Pages 65-67
  7. Harry Buhrman
    Pages 68-68
  8. Douglas Cenzer, Jeffrey B. Remmel
    Pages 75-85
  9. Thierry Coquand
    Pages 86-95
  10. Rodney Downey, Wolfgang Merkle, Jan Reimann
    Pages 96-105
  11. Abbas Edalat, Ali A. Khanban, André Lieutier
    Pages 117-127
  12. Artur S. d’Avila Garcez
    Pages 139-149
  13. Ricard Gavaldá
    Pages 150-151

About these proceedings

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

Editors and affiliations

  • S. Barry Cooper
    • 1
  • Benedikt Löwe
    • 2
  • Leen Torenvliet
    • 3
  1. 1.School of MathematicsUniversity of LeedsLeedsU.K.
  2. 2.Department MathematikUniversität HamburgHamburgGermany
  3. 3.Universiteit van Amsterdam 

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-26179-7
  • Online ISBN 978-3-540-32266-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349