A CHARACTERIZATION OF THE ARITHMETICAL HIERARCHY BY LANGUAGE EQUATIONS (Q5704378): Difference between revisions

@@ Property / cites work @@
+Reversal-bounded multipushdown machines
@@ Property / cites work: Reversal-bounded multipushdown machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Some classifications of context-free languages
@@ Property / cites work: Some classifications of context-free languages / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations and computational complexity of systolic trellis automata
+Normal rank
@@ Property / cites work @@
+Number of variables is equivalent to space
@@ Property / cites work: Number of variables is equivalent to space / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunctive grammars and systems of language equations
+Normal rank
@@ Property / cites work @@
+On the equivalence of linear conjunctive grammars and trellis automata
+Normal rank
@@ Property / cites work @@
+Boolean grammars
@@ Property / cites work: Boolean grammars / rank @@
+Normal rank
@@ Property / cites work @@
+On the number of nonterminals in linear conjunctive grammars
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5588675
@@ Property / cites work: Q5588675 / rank @@
+Normal rank