A Duality Theorem for Real C * Algebras (Q2888494): Difference between revisions

@@ Property / cites work @@
+Domain theory in logical form
@@ Property / cites work: Domain theory in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+A globalisation of the Gelfand duality theorem
@@ Property / cites work: A globalisation of the Gelfand duality theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Gelfand duality for C*-algebras
@@ Property / cites work: Constructive Gelfand duality for C*-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating labelled Markov processes
@@ Property / cites work: Approximating labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+On the relationship between compact regularity and Gentzen's cut rule
+Normal rank
@@ Property / cites work @@
+CPO's of measures for nondeterminism
@@ Property / cites work: CPO's of measures for nondeterminism / rank @@
+Normal rank
@@ Property / cites work @@
+Q3316563
@@ Property / cites work: Q3316563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417860
@@ Property / cites work: Q4417860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994458
@@ Property / cites work: Q3994458 / rank @@
+Normal rank