Home Advanced Search

Advanced Search - Page 1

The Nature of Computation. Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Klaus Ambos-Spies, Ulrike Brandt (auth.), Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.)
Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Thomas Anberrée (auth.), 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
  • PDF
  • English
  • Year: 2009
  • Author: Thomas Anberrée (auth.), Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984
  • PDF
  • English
  • Year: 1985
  • Author: Klaus Ambos-Spies (auth.), Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks (eds.)
CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings
  • DJVU
  • English
  • Year: 1989
  • Author: Klaus Ambos-Spies, Jürgen Kämper (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)
Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II
  • PDF
  • English
  • Year: 1984
  • Author: Klaus Ambos-Spies (auth.), Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas (eds.)
Computability and Complexity in Analysis: 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers
  • PDF
  • English
  • Year: 2001
  • Author: Jens Blanck (auth.), Jens Blanck, Vasco Brattka, Peter Hertling (eds.)
Algebra, logic, set theory : Festschrift für Ulrich Felgner zum 65. Geburtstag
  • DJVU
  • English
  • Year: 2007
  • Author: Löwe, Benedikt (eds.)
Unconventional Computation and Natural Computation: 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Paola Bonizzoni (auth.), Jérôme Durand-Lose, Nataša Jonoska (eds.)
Unconventional Computation and Natural Computation: 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Paola Bonizzoni (auth.), Jérôme Durand-Lose, Nataša Jonoska (eds.)
search