MPG.eBooks - Author Search Results

Benedikt Löwe

Benedikt Löwe

(born 1972) is a German mathematician and logician working at the universities of Hamburg and Cambridge. He is known for his work on mathematical logic and the foundations of mathematics, as well as for initiating the interdisciplinary conference series ''Foundations of the Formal Sciences'' (FotFS; 1999–2013) and ''Computability in Europe'' (CiE; since 2005). Provided by Wikipedia

Cover Image

1

New Computational Paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Löwe, Benedikt...”

Cover Image

2

Large cardinals, determinacy and other topics, Volume IV : The Cabal seminar

by Kechris, A. S.
Published 2021

Cambridge University Press

Other Authors: “...Löwe, Benedikt...”

Cover Image

3

Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London

by Benthem, Johan van
Published 2007

Amsterdam Univsity Press

Other Authors: “...Löwe, Benedikt...”

Cover Image

4

Foundations of the Formal Sciences II : Applications of Mathematical Logic in Philosophy and Linguistics

Published 2003

Springer Netherlands

Other Authors: “...Löwe, Benedikt...”

Cover Image

5

How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings

Published 2012

Springer Berlin Heidelberg

Other Authors: “...Löwe, Benedikt...”

Cover Image

6

Computation and Logic in the Real World : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Löwe, Benedikt...”

Cover Image

7

Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Löwe, Benedikt...”

Cover Image

8

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

Published 2013

Springer Berlin Heidelberg

Other Authors: “...Löwe, Benedikt...”

Cover Image

9

Classical and New Paradigms of Computation and their Complexity Hierarchies : Papers of the conference "Foundations of the Formal Sciences III"

Published 2004

Springer Netherlands

Other Authors: “...Löwe, Benedikt...”

Cover Image

10

New Computational Paradigms : Changing Conceptions of What is Computable

Published 2008

Springer New York

Other Authors: “...Löwe, Benedikt...”

Cover Image

11

Mathematical Theory and Computational Practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Löwe, Benedikt...”

Cover Image

12

The Cabal Seminar, Volume 1: Games, scales, and suslin cardinals

Published 2008

Cambridge University Press

Other Authors: “...Löwe, Benedikt...”

Cover Image

13

Ordinal definability and recursion theory : The Cabal Seminar, Volume 3

Published 2016

Cambridge University Press

Other Authors: “...Löwe, Benedikt...”

Cover Image

14

The Cabal Seminar, Volume 2: Wedge degrees and projective ordinals

Published 2011

Cambridge University Press

Other Authors: “...Löwe, Benedikt...”

Cover Image

15

Logic and the Foundations of Game and Decision Theory - LOFT 8 : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

Published 2010

Springer Berlin Heidelberg

Other Authors: “...Löwe, Benedikt...”

Cover Image

16

Cultures of Mathematics and Logic : Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012

Published 2016

Springer International Publishing

Other Authors: “...Löwe, Benedikt...”

Cover Image

17

Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings

Published 2011

Springer Berlin Heidelberg

Other Authors: “...Löwe, Benedikt...”

Cover Image

18

Logical Approaches to Computational Barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Löwe, Benedikt...”

Cover Image

19

Infinity in Logic and Computation : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Löwe, Benedikt...”

Cover Image

20

Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings

Published 2010

Springer Berlin Heidelberg

Other Authors: “...Löwe, Benedikt...”