-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
A simple method for drawing a rational curve as two Bézier segments
Veröffentlicht in ACM transactions on graphics
VolltextArtikel -
10
Ferroelastic lattice instability during the thermally enhanced reaction of MSE
Veröffentlicht in Ferroelectrics
VolltextArtikel -
11
Polymorphic Rewriting Conserves Algebraic Confluence
Veröffentlicht in Information and computation
VolltextArtikel -
12
Can halogen atoms be inserted into the YBCO system?
Veröffentlicht in Physica. C, Superconductivity
VolltextArtikel -
13
-
14
-
15
Typing untyped λ-terms, or reducibility strikes again
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
16
-
17
Proving properties of typed λ-terms using realizability, covers, and sheaves
Veröffentlicht in Theoretical computer science
VolltextArtikel -
18
-
19
-
20