1

Hilbert’s Proof of His Irreducibility Theorem

Year:
2018
Language:
english
File:
PDF, 458 KB
english, 2018
3

Minimum-complexity pairing functions

Year:
1992
Language:
english
File:
PDF, 792 KB
english, 1992
5

People, Problems, and Proofs ||

Year:
2013
Language:
english
File:
PDF, 3.78 MB
english, 2013
13

The topology of provability in complexity theory

Year:
1988
Language:
english
File:
PDF, 3.18 MB
english, 1988
14

On quasilinear-time complexity theory

Year:
1995
Language:
english
File:
PDF, 2.01 MB
english, 1995
16

Improved construction for universality of determinant and permanent

Year:
2006
Language:
english
File:
PDF, 115 KB
english, 2006
18

Gap-languages and log-time complexity classes

Year:
1997
Language:
english
File:
PDF, 1.11 MB
english, 1997
19

Parameterized circuit complexity and the W hierarchy

Year:
1998
Language:
english
File:
PDF, 1.28 MB
english, 1998
20

Games with Uniqueness Properties

Year:
2004
Language:
english
File:
PDF, 299 KB
english, 2004
23

Index sets and presentations of complexity classes

Year:
1996
Language:
english
File:
PDF, 1.75 MB
english, 1996
26

The Visual Perception of Motion in Depth

Year:
1979
Language:
english
File:
PDF, 1.14 MB
english, 1979
30

Diagonalization, uniformity, and fixed-point theorems

Year:
1992
Language:
english
File:
PDF, 2.49 MB
english, 1992
33

Information capacity of binary weights associative memories

Year:
1998
Language:
english
File:
PDF, 217 KB
english, 1998
38

Linear Time and Memory-Efficient Computation

Year:
1996
Language:
english
File:
PDF, 5.33 MB
english, 1996
48

Book reviews

Year:
1980
Language:
english
File:
PDF, 880 KB
english, 1980