-
1
-
2
-
3
-
4
-
5
-
6
A Constructive Logic for Services and Information Flow in Computer Networks
Veröffentlicht in Computer journal
VolltextArtikel -
7
Formalizing Belief Revision in Type Theory
Veröffentlicht in Logic journal of the IGPL
VolltextArtikel -
8
-
9
-
10
Production of hemopexin by TNF-α stimulated human mesangial cells
Veröffentlicht in Kidney international
VolltextArtikel -
11
The DenK-architecture: A fundamental approach to user-interfaces
Veröffentlicht in The Artificial intelligence review
VolltextArtikel -
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20