Advertisement

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

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
  14. Dina Goldin, Peter Wegner
    Pages 152-168
  15. Daniel S. Graça, Manuel L. Campagnolo, Jorge Buescu
    Pages 169-179
  16. Tero Harju
    Pages 188-195
  17. Charles M. Harris
    Pages 196-208
  18. Herman Ruge Jervell
    Pages 211-220
  19. Iskander Sh. Kalimullin
    Pages 221-222
  20. Peter Koepke
    Pages 223-232
  21. Ulrich Kohlenbach
    Pages 233-234
  22. Margarita Korovina, Oleg Kudinov
    Pages 235-241
  23. Shankara Narayanan Krishna
    Pages 242-251
  24. Lars Kristiansen, Mathias Barra
    Pages 252-262
  25. Lars Kristiansen, Neil D. Jones
    Pages 263-274
  26. Florin Manea, Carlos Martín-Vide, Victor Mitrana
    Pages 300-309
  27. Krzysztof Michalak, Halina Kwasnicka
    Pages 332-341
  28. Andrey Morozov
    Pages 349-349
  29. Yiannis N. Moschovakis
    Pages 350-357
  30. Marcin Mostowski, Konrad Zdanowski
    Pages 358-367
  31. Geoffrey E. Ostrin, Stan S. Wainer
    Pages 378-384

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

  • DOI https://doi.org/10.1007/b136981
  • 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
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications