Predicate transformers for extended probability and non-determinism (Q3636909): Difference between revisions

@@ Property / author @@
-Gordon D. Plotkin
@@ Property / author: Gordon D. Plotkin / rank @@
-Normal rank
@@ Property / author @@
+Gordon D. Plotkin
@@ Property / author: Gordon D. Plotkin / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about probabilistic sequential programs in a probabilistic logic
+Normal rank
@@ Property / cites work @@
+Demonic, angelic and unbounded probabilistic choices in sequential programs
+Normal rank
@@ Property / cites work @@
+Exact functionals and their core
@@ Property / cites work: Exact functionals and their core / rank @@
+Normal rank
@@ Property / cites work @@
+MINKOWSKI DUALITY AND ITS APPLICATIONS
@@ Property / cites work: MINKOWSKI DUALITY AND ITS APPLICATIONS / rank @@
+Normal rank
@@ Property / cites work @@
+Power domains and second-order predicates
@@ Property / cites work: Power domains and second-order predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Statistics
@@ Property / cites work: Robust Statistics / rank @@
+Normal rank
@@ Property / cites work @@
+Sur la fonction d'appui des ensembles convexes dans un espace localement convexe
+Normal rank
@@ Property / cites work @@
+Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
+Normal rank
@@ Property / cites work @@
+Sublinear Functionals and Ideals in Partially Ordered Vector Spaces
+Normal rank
@@ Property / cites work @@
+A domain-theoretic Banach–Alaoglu theorem
@@ Property / cites work: A domain-theoretic Banach–Alaoglu theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Partial correctness for probabilistic demonic programs
+Normal rank