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