4

Scrabble is PSPACE-Complete

Year:
2015
Language:
english
File:
PDF, 2.62 MB
english, 2015
7

Matrix identities and the pigeonhole principle

Year:
2004
Language:
english
File:
PDF, 83 KB
english, 2004
15

An improved upper bound and algorithm for clique covers

Year:
2018
Language:
english
File:
PDF, 945 KB
english, 2018
20

Malware Persistence Mechanisms

Year:
2020
File:
PDF, 856 KB
2020
26

The proof theoretic strength of the Steinitz exchange theorem

Year:
2007
Language:
english
File:
PDF, 224 KB
english, 2007
27

On the Ehrenfeucht–Mycielski sequence

Year:
2009
Language:
english
File:
PDF, 190 KB
english, 2009
28

LA, permutations, and the Hajós Calculus

Year:
2005
Language:
english
File:
PDF, 244 KB
english, 2005
33

Weak theories of linear algebra

Year:
2005
Language:
english
File:
PDF, 180 KB
english, 2005
34

On the Complexity of Computing Winning Strategies for Finite Poset Games

Year:
2011
Language:
english
File:
PDF, 480 KB
english, 2011
36

The proof complexity of linear algebra

Year:
2004
Language:
english
File:
PDF, 678 KB
english, 2004
41

10.1038/32462

Year:
1998
Language:
english
File:
PDF, 409 KB
english, 1998
43

Proving properties of matrices over({mathbb{Z}_{2}})

Year:
2012
Language:
english
File:
PDF, 221 KB
english, 2012