MSO-definable Properties of Muller Context-Free Languages Are Decidable (Q2829973): Difference between revisions

@@ Property / author @@
-Zoltán Ésik
@@ Property / author: Zoltán Ésik / rank @@
-Normal rank
@@ Property / author @@
+Zoltán Ésik
@@ Property / author: Zoltán Ésik / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2475544006
@@ Property / OpenAlex ID: W2475544006 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite automata and ordinals
@@ Property / cites work: Finite automata and ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and Rational Languages of Words Indexed by Linear Orderings
+Normal rank
@@ Property / cites work @@
+Developments in Language Theory
@@ Property / cites work: Developments in Language Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4187327
@@ Property / cites work: Q4187327 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata on linear orderings
@@ Property / cites work: Automata on linear orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Finite automata, definable sets, and regular expressions over \(\omega^n\)- tapes
+Normal rank
@@ Property / cites work @@
+Theory of \(\omega\)-languages. I: Characterizations of \(\omega\)-context- free languages
+Normal rank
@@ Property / cites work @@
+Q4198080
@@ Property / cites work: Q4198080 / rank @@
+Normal rank
@@ Property / cites work @@
+Büchi context-free languages
@@ Property / cites work: Büchi context-free languages / rank @@
+Normal rank
@@ Property / cites work @@
+On Müller context-free grammars
@@ Property / cites work: On Müller context-free grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168081
@@ Property / cites work: Q4168081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q3216154
@@ Property / cites work: Q3216154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3691083
@@ Property / cites work: Q3691083 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2829973