Characterizations of semantic domains for randomized algorithms (Q4729388): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q3718133
@@ Property / cites work: Q3718133 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5182141
@@ Property / cites work: Q5182141 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Complexity of Probabilistic Turing Machines
+Normal rank
@@ Property / cites work @@
+Q5829358
@@ Property / cites work: Q5829358 / rank @@
+Normal rank
@@ Property / cites work @@
+Concrete representation of abstract (M)-spaces. (A characterization of the space of continuous functions.)
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5638775
@@ Property / cites work: Q5638775 / rank @@
+Normal rank
@@ Property / cites work @@
+Zur schwachen Kompaktheit in Banachverbänden
@@ Property / cites work: Zur schwachen Kompaktheit in Banachverbänden / rank @@
+Normal rank
@@ Property / cites work @@
+Q5533878
@@ Property / cites work: Q5533878 / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Turing Machines and Computability
@@ Property / cites work: Probabilistic Turing Machines and Computability / rank @@
+Normal rank
@@ Property / cites work @@
+Computability by Probabilistic Turing Machines
@@ Property / cites work: Computability by Probabilistic Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+On perfect measures
@@ Property / cites work: On perfect measures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4049667
@@ Property / cites work: Q4049667 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052400
@@ Property / cites work: Q4052400 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3711080
@@ Property / cites work: Q3711080 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Computability of Recursive Functions
@@ Property / cites work: Computability of Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3969890
@@ Property / cites work: Q3969890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3669960
@@ Property / cites work: Q3669960 / rank @@
+Normal rank