-
1
Query Answering with Transitive and Linear-Ordered Data
Veröffentlicht in The Journal of artificial intelligence research
VolltextArtikel -
2
-
3
Definability and Interpolation within Decidable Fixpoint Logics
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
4
Macromolecular condensation buffers intracellular water potential
Veröffentlicht in Nature (London)
VolltextArtikel -
5
-
6
Caspase 9 Is Essential for Herpes Simplex Virus Type 2-Induced Apoptosis in T Cells
Veröffentlicht in Journal of Virology
VolltextArtikel -
7
Inside out: regenerative medicine for recessive dystrophic epidermolysis bullosa
Veröffentlicht in Pediatric research
VolltextArtikel -
8
CRYPTOCHROMES confer robustness, not rhythmicity, to circadian timekeeping
Veröffentlicht in The EMBO journal
VolltextArtikel -
9
-
10
-
11
Inference from Visible Information and Background Knowledge
Veröffentlicht in ACM transactions on computational logic
VolltextArtikel -
12
Effective Interpolation and Preservation in Guarded Logics
Veröffentlicht in ACM transactions on computational logic
VolltextArtikel -
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20