-
1
-
2
On the Complexity of the First‐order Random Theory
Veröffentlicht in Journal of logic and computation
VolltextArtikel -
3
Rank Hierarchies for Generalized Quantifiers
Veröffentlicht in Journal of logic and computation
VolltextArtikel -
4
A fuzzy logic approach to the selection of cranes
Veröffentlicht in Automation in construction
VolltextArtikel -
5
-
6
Strong convergence in finite model theory
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
7
Shrinking games and local formulas
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
8
A local normal form theorem for infinitary logic with unary quantifiers
Veröffentlicht in Mathematical logic quarterly
VolltextArtikel -
9
Strong 0-1 laws in finite model theory
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
10
First order quantifiers in monadic second order logic
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
11
-
12
-
13
Impacts of solar and auroral storms on power line systems
Veröffentlicht in Space science reviews
VolltextArtikel