Counting branches in trees using games (Q729823): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2016.11.005
@@ Property / DOI: 10.1016/j.ic.2016.11.005 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2198382712
@@ Property / OpenAlex ID: W2198382712 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03852
@@ Property / arXiv ID: 1505.03852 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q4074888
@@ Property / cites work: Q4074888 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5725991
@@ Property / cites work: Q5725991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086936
@@ Property / cites work: Q3086936 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143272
@@ Property / cites work: Q4143272 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3172528
@@ Property / cites work: Q3172528 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4266546
@@ Property / cites work: Q4266546 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata on infinite trees with counting constraints
+Normal rank
@@ Property / cites work @@
+Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Fair Adversaries and Randomization in Two-Player Games
+Normal rank
@@ Property / cites work @@
+Randomization in Automata on Infinite Trees
@@ Property / cites work: Randomization in Automata on Infinite Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Emptiness Of Alternating Tree Automata Using Games With Imperfect Information
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Defining Fairness in Reactive and Concurrent Systems
+Normal rank
@@ Property / cites work @@
+Banach-Mazur Games on Graphs
@@ Property / cites work: Banach-Mazur Games on Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+How Good Is a Strategy in a Game with Nature?
@@ Property / cites work: How Good Is a Strategy in a Game with Nature? / rank @@
+Normal rank
@@ Property / cites work @@
+Baire Category Quantifier in Monadic Second Order Logic
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2016.11.005
@@ Property / DOI: 10.1016/J.IC.2016.11.005 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:729823