-
1
-
2
-
3
-
4
-
5
On counting propositional logic and Wagner's hierarchy
Veröffentlicht in Theoretical computer science
VolltextArtikel -
6
Towards logical foundations for probabilistic computation
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
7
-
8
-
9
-
10
-
11
A higher-order characterization of probabilistic polynomial time
Veröffentlicht in Information and computation
VolltextArtikel -
12
-
13
-
14
-
15
-
16
Light logics and optimal reduction: Completeness and complexity
Veröffentlicht in Information and computation
VolltextArtikel -
17
-
18
Light Logics and the Call-by-Value Lambda Calculus
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
19
-
20