-
1
-
2
-
3
-
4
Nominal (Universal) Algebra: Equational Logic with Names and Binding
Veröffentlicht in Journal of logic and computation
VolltextArtikel -
5
-
6
Nebulised interferon-β1a (SNG001) in hospitalised COVID-19: SPRINTER phase III study
Veröffentlicht in ERJ open research
VolltextArtikel -
7
The language of Stratified Sets is confluent and strongly normalising
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
8
Algebras of UTxO blockchains
Veröffentlicht in Mathematical structures in computer science
VolltextArtikel -
9
-
10
-
11
Nominal Algebra and the HSP Theorem
Veröffentlicht in Journal of logic and computation
VolltextArtikel -
12
-
13
-
14
-
15
Pyjamas and sheets as a potential source of nosocomial pathogens
Veröffentlicht in The Journal of hospital infection
VolltextArtikel -
16
-
17
-
18
Putting copper into action: copper‐impregnated products with potent biocidal activities
Veröffentlicht in The FASEB journal
VolltextArtikel -
19
-
20
A new approach to abstract syntax with variable binding
Veröffentlicht in Formal aspects of computing
VolltextArtikel