-
1
-
2
-
3
Tight Polynomial Bounds for Loop Programs in Polynomial Space
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
Cuboid subluxation in ballet dancers
Veröffentlicht in The American journal of sports medicine
VolltextArtikel -
14
-
15
Tight Polynomial Bounds for Loop Programs in Polynomial Space
Veröffentlicht in arXiv.org
VolltextArtikel -
16
Midterm Results of Delta Ceramic-on-Ceramic Total Hip Arthroplasty
Veröffentlicht in The Journal of arthroplasty
VolltextArtikel -
17
Personality, stress, and injuries in professional ballet dancers
Veröffentlicht in The American journal of sports medicine
VolltextArtikel -
18
Generating Loop Invariants for Program Verification by Transformation
Veröffentlicht in arXiv.org
VolltextArtikel -
19
-
20
Usage Counting Analysis for Lazy Functional Languages
Veröffentlicht in Information and computation
VolltextArtikel