TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 3.

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
Article, Bibliographie

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

Tix, Regina (1997)
Some results on Hahn-Banach type theorems for continuous D-Cones.
Conference or Workshop Item, Bibliographie

This list was generated on Tue May 28 01:28:31 2024 CEST.