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, 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]

This list was generated on Sat Jun 25 00:39:01 2022 CEST.