Conference on Computability in Europe (CiE)

6. CiE 2010: Lisbon, Portugal

Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (Eds.): Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings. Lecture Notes in Computer Science 5635 Springer 2009, ISBN 978-3-642-03072-7
Contents

Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (Eds.): Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings. Lecture Notes in Computer Science 5028 Springer 2008, ISBN 978-3-540-69405-2
Contents

S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (Eds.): Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings. Lecture Notes in Computer Science 4497 Springer 2007, ISBN 978-3-540-73000-2
Contents

Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker (Eds.): Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings. Lecture Notes in Computer Science 3988 Springer 2006, ISBN 3-540-35466-2
Contents

S. Barry Cooper, Benedikt Löwe, Leen Torenvliet (Eds.): New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings. Lecture Notes in Computer Science 3526 Springer 2005, ISBN 3-540-26179-6
Contents