Complexity of universality and related problems for partially ordered NFAs (Q2013561): Difference between revisions

@@ Property / OpenAlex ID @@
+W2519230465
@@ Property / OpenAlex ID: W2519230465 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03460
@@ Property / arXiv ID: 1609.03460 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational power of pushdown automata
@@ Property / cites work: On the computational power of pushdown automata / rank @@
+Normal rank
@@ Property / cites work @@
+On Decidability of Intermediate Levels of Concatenation Hierarchies
+Normal rank
@@ Property / cites work @@
+Q3292904
@@ Property / cites work: Q3292904 / rank @@
+Normal rank
@@ Property / cites work @@
+Querying Regular Graph Patterns
@@ Property / cites work: Querying Regular Graph Patterns / rank @@
+Normal rank
@@ Property / cites work @@
+Permutation rewriting and algorithmic verification
+Normal rank
@@ Property / cites work @@
+One-unambiguous regular languages
@@ Property / cites work: One-unambiguous regular languages / rank @@
+Normal rank
@@ Property / cites work @@
+Languages of R-trivial monoids
@@ Property / cites work: Languages of R-trivial monoids / rank @@
+Normal rank
@@ Property / cites work @@
+The dot-depth hierarchy of star-free languages is infinite
+Normal rank
@@ Property / cites work @@
+Dot-depth of star-free events
@@ Property / cites work: Dot-depth of star-free events / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Definability by Deterministic Regular Expressions
+Normal rank
@@ Property / cites work @@
+Q5437181
@@ Property / cites work: Q5437181 / rank @@
+Normal rank
@@ Property / cites work @@
+The inclusion problem for simple languages
@@ Property / cites work: The inclusion problem for simple languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Languages of dot-depth 3/2
@@ Property / cites work: Languages of dot-depth 3/2 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5738937
@@ Property / cites work: Q5738937 / rank @@
+Normal rank
@@ Property / cites work @@
+Descriptional and computational complexity of finite automata -- a survey
+Normal rank
@@ Property / cites work @@
+Q4133162
@@ Property / cites work: Q4133162 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Parallels between the Regular and Context-Free Languages
+Normal rank
@@ Property / cites work @@
+Space-bounded reducibility among combinatorial problems
+Normal rank
@@ Property / cites work @@
+Alternative Automata Characterization of Piecewise Testable Languages
+Normal rank
@@ Property / cites work @@
+Q4608624
@@ Property / cites work: Q4608624 / rank @@
+Normal rank
@@ Property / cites work @@
+PARTIALLY ORDERED TWO-WAY BÜCHI AUTOMATA
@@ Property / cites work: PARTIALLY ORDERED TWO-WAY BÜCHI AUTOMATA / rank @@
+Normal rank
@@ Property / cites work @@
+Around Dot Depth Two
@@ Property / cites work: Around Dot Depth Two / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Decision Problems for XML Schemas and Chain Regular Expressions
+Normal rank
@@ Property / cites work @@
+Q4608630
@@ Property / cites work: Q4608630 / rank @@
+Normal rank
@@ Property / cites work @@
+On Boolean combinations forming piecewise testable languages
+Normal rank
@@ Property / cites work @@
+Separating Regular Languages with Two Quantifiers Alternations
+Normal rank
@@ Property / cites work @@
+Q2955031
@@ Property / cites work: Q2955031 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2893312
@@ Property / cites work: Q2893312 / rank @@
+Normal rank
@@ Property / cites work @@
+Sur le produit de concatenation non ambigu
@@ Property / cites work: Sur le produit de concatenation non ambigu / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737911
@@ Property / cites work: Q4737911 / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence problem for deterministic pushdown automata is decidable
+Normal rank
@@ Property / cites work @@
+The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of the Schützenberger product of finite monoids
+Normal rank
@@ Property / cites work @@
+Finite semigroup varieties of the form V*D
@@ Property / cites work: Finite semigroup varieties of the form V*D / rank @@
+Normal rank
@@ Property / cites work @@
+Classification of finite monoids: the language approach
+Normal rank
@@ Property / cites work @@
+Machines, Computations, and Universality
@@ Property / cites work: Machines, Computations, and Universality / rank @@
+Normal rank