S. B. Cooper

12 published titles

Computability, enumerability, unsolvability : directions in recursion theory

(Contributor)

1 edition

Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

(Contributor)

1 edition

Models and computabilty : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

(Contributor)

1 edition

Computability and models : perspectives east and west

1 edition

Computability theory

1 edition

New computational paradigms : first conference on computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, proceedings

(Contributor)

1 edition

Theory and applications of models of computation : third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedings

(Contributor)

1 edition

New computational paradigms : changing conceptions of what is computable

(Contributor)

1 edition

Logic Colloquium 2006

(Contributor)

1 edition

Theory and applications of models of computation : 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21 2012 : proceedings

(Contributor)

1 edition

How the world computes : Turing Centenary Conference and 8th Conference On Computability In Europe, CIE 2012, Cambridge, UK, June 18-23 2012 : proceedings

(Contributor)

1 edition

Alan Turing : his work and impact

1 edition