Advertisement

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
  16. Christian Glaßer, Christian Reitwießner, Heinz Schmitz, Maximilian Witek
    Pages 180-189
  17. Kojiro Higuchi
    Pages 190-194
  18. Jeannette Janssen
    Pages 201-210
  19. Nataša Jonoska, Masahico Saito
    Pages 211-218
  20. Bakhadyr Khoussainov, Andrey Morozov
    Pages 219-228
  21. Bjørn Kjos-Hanssen, Jan Reimann
    Pages 229-238
  22. Arist Kojevnikov, Alexander S. Kulikov
    Pages 239-245
  23. Oleg V. Kudinov, Victor L. Selivanov, Lyudmila V. Yartseva
    Pages 246-255
  24. Oleg V. Kudinov, Victor L. Selivanov, Anton V. Zhukov
    Pages 256-265
  25. Jiang Liu, Guohua Wu
    Pages 266-275
  26. Giuseppe Longo
    Pages 276-285
  27. Jack H. Lutz, Brad Shutters
    Pages 286-295
  28. Florin Manea, Carlos Martín-Vide, Victor Mitrana
    Pages 296-306
  29. Giancarlo Mauri, Alberto Leporati, Antonio E. Porreca, Claudio Zandron
    Pages 317-320
  30. Alexander G. Melnikov
    Pages 321-330
  31. Samuel Mimram
    Pages 331-341
  32. Jeff B. Paris, Soroush R. Rad
    Pages 342-351
  33. Rahul Santhanam
    Pages 372-375
  34. André Souto
    Pages 376-385
  35. Rebecca M. Steiner
    Pages 394-405
  36. Trifon Trifonov
    Pages 417-426
  37. David H. Wolpert
    Pages 438-447
  38. Back Matter

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
  • Buy this book on publisher's site