Benedikt Löwe

Wadge degrees and projective ordinals

2012

New computational paradigms

2010

Games, Scales and Suslin Cardinals

2010

Cultures of Mathematics and Logic

2018

Classical and new paradigms of computation and their complexity hierarchies

2007

Ordinal Definability and Recursion Theory

2015

New computational paradigms

2005

Models of Computation in Context

2011

Logical approaches to computational barriers

2006

Foundations of the formal sciences II

2013

Computation and Logic in the Real World

2007

The Cabal seminar

2008

Programs, Proofs, Processes

2010

PhiMSAMP

2010

Ordinal Definability and Recursion Theory : Volume 3

2016

Mathematical Theory and Computational Practice

2009

Mathematical Theory And Computational Practice 5th Conference On Computability In Europe Cie 2009 Heidelberg Germany July 1924 2009 Proceedings

2009

Logic and Theory of Algorithms

2008