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

14 years 10 days 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