The Nature of Computation: Logic, Algorithms, Applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings /

Documenti analoghi

• Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings /
  di: Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe
  Pubblicazione: (2008, c2008)
• Computation and Logic in the Real World : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings /
  di: S. Barry Cooper, Benedikt Löwe, Andrea Sorbi
  Pubblicazione: (2007, c2007)
• Logical Approaches to Computational Barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings /
  di: Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker
  Pubblicazione: (2006, c2006)
• Infinity in Logic and Computation : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers /
  di: Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe
  Pubblicazione: (2009, c2009)
• Mathematical Theory and Computational Practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings /
  di: Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle
  Pubblicazione: (2009, c2009)