-
1
Drosophila Tcf and Groucho interact to repress Wingless signalling activity
Veröffentlicht in Nature (London)
VolltextArtikel -
2
-
3
-
4
Higher inductive types in cubical computational type theory
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
5
-
6
-
7
Internal Parametricity for Cubical Type Theory
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
8
-
9
-
10
-
11
-
12
-
13
Safety and Outcomes of Thrombectomy in Ischemic Stroke With vs Without IV Thrombolysis
Veröffentlicht in Neurology
VolltextArtikel -
14
-
15
Mild cognitive impairment identification based on motor and cognitive dual-task pooled indices
Veröffentlicht in PloS one
VolltextArtikel -
16
-
17
-
18
-
19
-
20