Measure Properties of Game Tree Languages (Q2922025): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-44522-8_26
+Normal rank
@@ Property / OpenAlex ID @@
+W210314216
@@ Property / OpenAlex ID: W210314216 / rank @@
+Normal rank
@@ Property / cites work @@
+The<i>μ</i>-calculus alternation-depth hierarchy is strict on binary trees
+Normal rank
@@ Property / cites work @@
+Q5445157
@@ Property / cites work: Q5445157 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Borel-programmable functions
@@ Property / cites work: Borel-programmable functions / rank @@
+Normal rank
@@ Property / cites work @@
+The modal mu-calculus alternation hierarchy is strict
+Normal rank
@@ Property / cites work @@
+Fixpoints, games and the difference hierarchy
@@ Property / cites work: Fixpoints, games and the difference hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Classical hierarchies from a modern standpoint. Part II. R-sets
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Kolmogorov's ideas in the theory of operations on sets
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472940
@@ Property / cites work: Q5472940 / rank @@
+Normal rank
@@ Property / cites work @@
+On Topological Completeness of Regular Tree Languages
+Normal rank
@@ Property / cites work @@
+On the equivalence of game and denotational semantics for the probabilistic mu-calculus
+Normal rank
@@ Property / cites work @@
+Probabilistic modal {\mu}-calculus with independent product
+Normal rank
@@ Property / cites work @@
+Distributed probabilistic and quantum strategies
@@ Property / cites work: Distributed probabilistic and quantum strategies / rank @@
+Normal rank