Skip to content
<title>Channels - QRB-Domains and the Probabilistic Powerdomain :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
QRB-Domains and the Probabilistic Powerdomain
Search for more channels:
Similar Items: QRB-Domains and the Probabilistic Powerdomain
Channel Options
View Record
Explore related channels
Quick Look
Mixed powerdomains for probability and nondeterminism
Quick Look
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
Quick Look
Probabilistic Algorithmic Knowledge
Quick Look
Infinite Probabilistic Databases
Quick Look
Modelling Probabilistic Wireless Networks
Quick Look
Synthesis from Probabilistic Components
Quick Look
Refinement and Difference for Probabilistic Automata
Quick Look
Probabilistic call by push value
Quick Look
On Higher-Order Probabilistic Subrecursion
Quick Look
Approximating Queries on Probabilistic Graphs
Quick Look
Model Checking Probabilistic Pushdown Automata
Quick Look
Qualitative Logics and Equivalences for Probabilistic Systems
Quick Look
Cost Preserving Bisimulations for Probabilistic Automata
Quick Look
High-level Counterexamples for Probabilistic Automata
Quick Look
Permissive Controller Synthesis for Probabilistic Systems
Quick Look
Relative Entailment Among Probabilistic Implications
Quick Look
Quantitative Automata under Probabilistic Semantics
Quick Look
Probabilistic logics based on Riesz spaces
Quick Look
Coalgebraic Semantics for Probabilistic Logic Programming
Quick Look
Differentials and distances in probabilistic coherence spaces
Quick Look
Learning of Structurally Unambiguous Probabilistic Grammars
Quick Look
On Probabilistic Embeddings in Optimal Dimension Reduction
Quick Look
Probabilistic modal {mu}-calculus with independent product
Quick Look
Approximate reasoning for real-time probabilistic processes
Load more items
View Record
Prev
Explore related channels
Next
