Search Sciweavers | Sciweavers

2 search results - page 1 / 1

» Topological Cones: Foundations for a Domain Theoretical Sema...

click to vote

ENTCS
2006

121views more ENTCS 2006»

Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism

13 years 4 months ago

Download www.mathematik.tu-darmstadt.de

Klaus Keimel

claim paper

Read More »

click to vote

LICS
2002
IEEE

93views Automated Reasoning» more LICS 2002»

The Powerdomain of Indexed Valuations

13 years 9 months ago

Download www.doc.ic.ac.uk

This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using t...

Daniele Varacca

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers