Home Advanced Search

Advanced Search - Page 1

New Computational Paradigms: Changing Conceptions of What is Computable
  • DJVU
  • English
  • Year: 2007
  • Author: S.B. Cooper, Benedikt Löwe, Andrea Sorbi
New Computational Paradigms: Changing Conceptions of What is Computable
  • DJVU
  • English
  • Year: 2007
  • Author: S.B. Cooper, Benedikt Löwe, Andrea Sorbi
Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Luigi Acerbi, Alberto Dennunzio, Enrico Formenti (auth.), S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)
Computability in context. Computation and logic in the real world
  • PDF
  • English
  • Year: 2009
  • Author: Cooper S.B., Sorbi A. (eds.)
Complexity, logic, and recursion theory
  • PDF
  • English
  • Year: 2019
  • Author: Sorbi, Andrea
New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: S. Barry Cooper (auth.), S. Barry Cooper, Benedikt Löwe, Leen Torenvliet (eds.)
Algebra, logic, set theory: Festschrift Ulrich Felgner
  • DJVU
  • English
  • Year: 2007
  • Author: Löwe, Benedikt (ed.)
Algebra, logic, set theory : Festschrift für Ulrich Felgner zum 65. Geburtstag
  • DJVU
  • English
  • Year: 2007
  • Author: Löwe, Benedikt (eds.)
How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Bahareh Afshari, Michael Rathjen (auth.), S. Barry Cooper, Anuj Dawar, Benedikt Löwe (eds.)
Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics
  • DJVU
  • English
  • Year: 2003,2010
  • Author: Benedikt Löwe, Wolfgang Malzkorn, Thoralf Räsch
search