-
1
-
2
-
3
-
4
-
5
The undecidability of k-provability
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
6
-
7
Development of the locomotor network in zebrafish
Veröffentlicht in Progress in neurobiology
VolltextArtikel -
8
Polynomial size proofs of the propositional pigeonhole principle
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
9
-
10
Relating the bounded arithmetic and polynomial time hierarchies
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
11
-
12
Lattice-matched AlInN in the initial stage of growth
Veröffentlicht in Applied physics letters
VolltextArtikel -
13
-
14
-
15
Some remarks on lengths of propositional proofs
Veröffentlicht in Archive for mathematical logic
VolltextArtikel -
16
-
17
-
18
-
19
Size-depth tradeoffs for Boolean formulae
Veröffentlicht in Information processing letters
VolltextArtikel -
20