- Guest editor
- CiE: Programs, Proofs, Processes
- Theory of Computing Systems
- Volume | Issue number
- 51 | 3
- Pages (from-to)
- Document type
- Special issue
- Interfacultary Research Institutes
- Institute for Logic, Language and Computation (ILLC)
- The seven papers in this special issue constitute a post-conference publication of the meeting CiE 2010: Programs, Proofs, Processes, held at Universidade dos Açores, Ponta Delgada, Portugal, between June 30 and July 4, 2010. CiE 2010 was the sixth in the series of conferences organized by the Association for Computability in Europe.
- Final publisher version
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.