1
Published 2008
Springer New York
Table of Contents: ... Functional Analysis -- Effective Fractal Dimension in Algorithmic Information Theory -- Metamathematical...

2
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... of Classical Computation in Measurement-Based Quantum Computation -- The Algebraic Counterpart of the Wagner...

3
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... Science -- The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor...

4
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Reducibility -- Computability-Theoretic and Proof-Theoretic Aspects of Vaughtian Model Theory -- Finite Trees...

5
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... -- Quotients over Minimal Type Theory --...

6
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... -- Hairpin Lengthening -- Infinities in Quantum Field Theory and in Classical Computing: Renormalization...

7
Published 2004
Springer Netherlands
Table of Contents: ...Complexity hierarchies derived from reduction functions -- Quantum query algorithms and lower...