TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Springe zu: 2005 | 1999 | 1997
Anzahl der Einträge: 3.

2005

Tix, Regina ; Keimel, Klaus ; Plotkin, Gordon D. (2005)
Semantic domains for combining probability and non-determinism.
In: Electronic Notes in Theoretical Computer Science, 129
doi: 10.1016/j.entcs.2004.06.063
Artikel, Bibliographie

1999

Tix, Regina (1999)
Continuous D-cones: convexity and powerdomain constructions.
Technische Universität Darmstadt
Dissertation, Bibliographie

1997

Tix, Regina (1997)
Some results on Hahn-Banach type theorems for continuous D-Cones.
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Sat Sep 7 03:32:46 2024 CEST generiert.