Benedikt Löwe
25 works on record
Works

PhiMSAMP
Foundations of the formal sciences VI

Logical approaches to computational barriers

New computational paradigms

Classical and new paradigms of computation and their complexity hierarchies

New computational paradigms

Models of Computation in Context
The Cabal seminar

Computation and Logic in the Real World

Wadge degrees and projective ordinals
Foundations of the formal sciences II
Foundations of the formal sciences

Cultures of Mathematics and Logic
Cabal Seminar 4 Volume Hardback Set
Logic and Theory of Algorithms
Games, Scales and Suslin Cardinals
Ordinal Definability and Recursion Theory
Large Cardinals, Determinacy and Other Topics : Volume 4
Programs, Proofs, Processes
Mathematical Theory and Computational Practice
Infinity in Logic and Computation
Large Cardinals, Determinacy and Other Topics
Logic and the Foundations of Game and Decision Theory - LOFT 8
Games, Scales and Suslin Cardinals Vol. 1
60 Jahre DVMLG