Browse by Person
![]() | Up a level |
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, p. 104. Elsevier ScienceDirect, ISSN 1571-0661,
DOI: 10.1016/j.entcs.2004.06.063,
[Article]
Tix, Regina (1999):
Continuous D-cones: convexity and powerdomain constructions.
Aachen: Shaker, 1999, VI, 88 S, Aachen, Shaker, TU Darmstadt,
[Ph.D. Thesis]
Tix, Regina (1997):
Some results on Hahn-Banach type theorems for continuous D-Cones.
In: Domains III: Workshop; Proceedings. Hrsg.: K.-H. Niggl (u.a.) S. 119-138, 9712, München: Ludwig-Maximilians-Univ., , Inst. für Informatik, 1997, München, Ludwig-Maximilians-Univ, [Conference or Workshop Item]