Benedikt Löwe

Identifiers

Open LibraryOL6846443A

Top Subjects

Computable functions (3)
Computer science (2)
Computational complexity (2)
Logic, symbolic and mathematical (2)
Computer science, mathematics (1)
Measure theory (1)
Set theory (1)

Books by Benedikt Löwe

Total count: 23

New Computational ParadigmsFirst Conference on Computability in Europe, CiE 2005, Amsterdam, the Netherlands, June 8-12, 2005, Proceedings

Springer London, Limited2005-01-01
Logical Approaches to Computational BarriersSecond Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings

Springer London, Limited2006-01-01
Classical and New Paradigms of Computation and Their Complexity HierarchiesPapers of the Conference Foundations of the Formal Sciences III

Springer2007-01-01
Computation and Logic in the Real WorldThird Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings

Springer London, Limited2007-01-01
New Computational ParadigmsChanging Conceptions of What Is Computable

Springer London, Limited2007-01-01
Games, Scales and Suslin CardinalsThe Cabal Seminar

Cambridge University Press2008-01-01
Games, Scales and Suslin Cardinals Vol. 1The Cabal Seminar, Volume I

Cambridge University Press2008-01-01
Logic and Theory of Algorithms4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings

Springer London, Limited2008-01-01
Foundations of the formal sciences VIprobabilistic reasoning and reasoning with probabilities

College Publications2009-01-01
Infinity in Logic and ComputationInternational Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

Springer2009-01-01
Mathematical Theory and Computational Practice5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings

Springer London, Limited2009-01-01
PhiMSAMPphilosophy of mathematics: sociological aspsects and mathematical practice

College Publications2010-01-01
Programs, Proofs, Processes6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings

Springer London, Limited2010-01-01
Logic and the Foundations of Game and Decision Theory - LOFT 88th International Conference, Amsterdam, the Netherlands, July 3-5, 2008, Revised Selected Papers

Springer2010-01-01
Wadge Degrees and Projective OrdinalsThe Cabal Seminar Volume II

Cambridge University Press2011-01-01
Models of Computation in Context7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings

Springer-Verlag GmbH Berlin Heidelberg2011-01-01
Foundations of the Formal Sciences IIApplications of Mathematical Logic in Philosophy and Linguistics

Springer2013-01-01
Ordinal Definability and Recursion TheoryThe Cabal Seminar, Volume III

Cambridge University Press2015-01-01
Cultures of Mathematics and LogicSelected Papers from the Conference in Guangzhou, China, November 9-12 2012

Birkhauser Verlag2016-01-01
Cabal Seminar 4 Volume Hardback SetVolumes I-IV

University of Cambridge ESOL Examinations2020-01-01
Large Cardinals, Determinacy and Other Topics : Volume 4The Cabal Seminar, Volume IV

University of Cambridge ESOL Examinations2020-01-01
Large Cardinals, Determinacy and Other TopicsThe Cabal Seminar, Volume IV

University of Cambridge ESOL Examinations2020-01-01
60 Jahre DVMLG

College Publications2022-01-01