Probabilistic Completion of Nondeterministic Models (Q5262931): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Normalize DOI. |
||
| (One intermediate revision by one other user not shown) | |||
| Property / DOI | |||
| Property / DOI: 10.1016/j.entcs.2007.02.028 / rank | |||
| Property / cites work | |||
| Property / cites work: Q3682648 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4856547 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4954447 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Combining effects: sum and tensor / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3203061 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4222969 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Retracted: Semantic domains for combining probability and non-determinism / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3727946 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4536613 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q2847403 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A Powerdomain Construction / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4749207 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Algebra and Coalgebra in Computer Science / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4195918 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4488202 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Distributing probability over non-determinism / rank | |||
Normal rank | |||
| Property / DOI | |||
| Property / DOI: 10.1016/J.ENTCS.2007.02.028 / rank | |||
Normal rank | |||
Latest revision as of 16:34, 30 December 2024
scientific article; zbMATH DE number 6457549
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Probabilistic Completion of Nondeterministic Models |
scientific article; zbMATH DE number 6457549 |
Statements
Probabilistic Completion of Nondeterministic Models (English)
0 references
10 July 2015
0 references
combining categorical theories
0 references
mixed choice theory
0 references
functorial factorization
0 references
convex completion with respect to a semilattice
0 references
