Unresolved systems of language equations: expressive power and decision problems (Q817804): Difference between revisions

@@ Property / cites work @@
+Polynomial operations and hierarchies of concatenation
+Normal rank
@@ Property / cites work @@
+Unification of concept terms in description logics
+Normal rank
@@ Property / cites work @@
+Reversal-bounded multipushdown machines
@@ Property / cites work: Reversal-bounded multipushdown machines / rank @@
+Normal rank
@@ Property / cites work @@
+On equations for regular languages, finite automata, and sequential networks
+Normal rank
@@ Property / cites work @@
+Constructive versions of Tarski's fixed point theorems
+Normal rank
@@ Property / cites work @@
+Systolic trellis automatata †
@@ Property / cites work: Systolic trellis automatata † / rank @@
+Normal rank
@@ Property / cites work @@
+Two Families of Languages Related to ALGOL
@@ Property / cites work: Two Families of Languages Related to ALGOL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198075
@@ Property / cites work: Q4198075 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5583856
@@ Property / cites work: Q5583856 / rank @@
+Normal rank
@@ Property / cites work @@
+Conway's problem for three-word sets.
@@ Property / cites work: Conway's problem for three-word sets. / rank @@
+Normal rank
@@ Property / cites work @@
+Maximal and minimal solutions to language equations
+Normal rank
@@ Property / cites work @@
+STACS 2005
@@ Property / cites work: STACS 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Unrestricted complementation in language equations over a one-letter alphabet
+Normal rank
@@ Property / cites work @@
+Q4531380
@@ Property / cites work: Q4531380 / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunctive grammars and systems of language equations
+Normal rank
@@ Property / cites work @@
+Q4449179
@@ Property / cites work: Q4449179 / rank @@
+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 @@
+Decision problems for language equations
@@ Property / cites work: Decision problems for language equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q5588675
@@ Property / cites work: Q5588675 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain mu-calculus
@@ Property / cites work: Domain mu-calculus / rank @@
+Normal rank