Monadic Second Order Logic with Measure and Category Quantifiers (Q4637695): Difference between revisions

@@ label / en / label / en @@
+Monadic Second Order Logic with Measure and Category Quantifiers
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv classification @@
+cs.LO
@@ Property / arXiv classification: cs.LO / rank @@
+Normal rank
@@ Property / arXiv classification @@
+cs.FL
@@ Property / arXiv classification: cs.FL / rank @@
+Normal rank
@@ Property / arXiv classification @@
+math.LO
@@ Property / arXiv classification: math.LO / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04769
@@ Property / arXiv ID: 1702.04769 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic ω-automata
@@ Property / cites work: Probabilistic ω-automata / rank @@
+Normal rank
@@ Property / cites work @@
+Cardinality Quantifiers in MLO over Trees
@@ Property / cites work: Cardinality Quantifiers in MLO over Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111438
@@ Property / cites work: Q5111438 / rank @@
+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 @@
+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 @@
+Counting branches in trees using games
@@ Property / cites work: Counting branches in trees using games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5501249
@@ Property / cites work: Q5501249 / rank @@
+Normal rank
@@ Property / cites work @@
+Measure properties of regular sets of trees
@@ Property / cites work: Measure properties of regular sets of trees / rank @@
+Normal rank
@@ Property / cites work @@
+Banach-Mazur Games on Graphs
@@ Property / cites work: Banach-Mazur Games on Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2909624
@@ Property / cites work: Q2909624 / rank @@
+Normal rank
@@ Property / cites work @@
+Topology and descriptive set theory
@@ Property / cites work: Topology and descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+How unprovable is Rabin's decidability theorem?
@@ Property / cites work: How unprovable is Rabin's decidability theorem? / rank @@
+Normal rank
@@ Property / cites work @@
+Baire Category Quantifier in Monadic Second Order Logic
+Normal rank
@@ Property / cites work @@
+Q5275391
@@ Property / cites work: Q5275391 / rank @@
+Normal rank
@@ Property / cites work @@
+Measure Quantifier in Monadic Second Order Logic
@@ Property / cites work: Measure Quantifier in Monadic Second Order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+On a generalization of quantifiers
@@ Property / cites work: On a generalization of quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q4218950
@@ Property / cites work: Q4218950 / rank @@
+Normal rank
@@ Property / cites work @@
+Defining Fairness in Reactive and Concurrent Systems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4637695