Programs, Proofs, Processes

6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings

  • Fernando Ferreira
  • Benedikt Löwe
  • Elvira Mayordomo
  • Luís Mendes Gomes
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6158)

Table of contents

  1. Front Matter
  2. Eric Allender
    Pages 1-10
  3. Thorsten Altenkirch, Paul Levy, Sam Staton
    Pages 11-20
  4. Pablo Arrighi, Gilles Dowek
    Pages 21-30
  5. Mathias Barra, Philipp Gerhardy
    Pages 31-38
  6. Ulrich Berger, Monika Seisenberger
    Pages 39-48
  7. Laurent Bienvenu, Adam Day, Ilya Mezhirov, Alexander Shen
    Pages 49-58
  8. Laurent Bienvenu, Frank Stephan, Jason Teutsch
    Pages 59-68
  9. Guillaume Blin, Romeo Rizzi, Stéphane Vialette
    Pages 69-77
  10. Luca Cardelli, Philippa Gardner
    Pages 78-87
  11. Douglas Cenzer, Ali Dashti, Ferit Toska, Sebastian Wyman
    Pages 88-97
  12. Liesbeth De Mol, Maarten Bullynck, Martin Carlé
    Pages 108-117
  13. Michiel De Smet, Andreas Weiermann
    Pages 118-125
  14. Martín Escardó, Paulo Oliva
    Pages 151-161
  15. Santiago Figueira, Denis Hirschfeldt, Joseph S. Miller, Keng Meng Ng, André Nies
    Pages 162-171

About these proceedings

Keywords

Haskell Heyting algebra Ramsey Sierpinsky triangle bacteria computing biological computing complexity computability computational modeling ergodic theory finite fields fractal geometry parameterized complexity proving quantum field

Editors and affiliations

  • Fernando Ferreira
    • 1
  • Benedikt Löwe
    • 2
  • Elvira Mayordomo
    • 3
  • Luís Mendes Gomes
    • 4
  1. 1.Departamento de MatemáticaUniversidade de LisboaLisboaPortugal
  2. 2.Institute for Logic, Language and Computation (ILLC)Universiteit van AmsterdamAmsterdamThe Netherlands
  3. 3.Departamento de Informática e Ingeniería de SistemasUniversidad de ZaragozaZaragozaSpain
  4. 4.Universidade dos AçoresPonta Delgada, AçoresPortugal

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-13962-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-13961-1
  • Online ISBN 978-3-642-13962-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349