-
1
-
2
On the Nielsen-Schreier Theorem in Homotopy Type Theory
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
3
-
4
A class of higher inductive types in Zermelo‐Fraenkel set theory
Veröffentlicht in Mathematical logic quarterly
VolltextArtikel -
5
Cyclin B3 activates the Anaphase-Promoting Complex/Cyclosome in meiosis and mitosis
Veröffentlicht in PLoS genetics
VolltextArtikel -
6
-
7
-
8
LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
9
-
10
PP2A-B55 promotes nuclear envelope reformation after mitosis in Drosophila
Veröffentlicht in The Journal of cell biology
VolltextArtikel -
11
-
12
Estimates of genetic trend for single-step genomic evaluations
Veröffentlicht in Genetics selection evolution (Paris)
VolltextArtikel -
13
-
14
-
15
-
16
Accuracy of imputation to whole-genome sequence in sheep
Veröffentlicht in Genetics selection evolution (Paris)
VolltextArtikel -
17
-
18
-
19
Every metric space is separable in function realizability
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
20