Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity (Q2799199): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2150868717
@@ Property / OpenAlex ID: W2150868717 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2737
@@ Property / arXiv ID: 1410.2737 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Reachability Analysis of Acyclic Networks of Pushdown Systems
+Normal rank
@@ Property / cites work @@
+Analyzing Context-Free Grammars Using an Incremental SAT Solver
+Normal rank
@@ Property / cites work @@
+Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity
+Normal rank
@@ Property / cites work @@
+Q3292904
@@ Property / cites work: Q3292904 / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing ambiguity of context-free grammars
@@ Property / cites work: Analyzing ambiguity of context-free grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q4713368
@@ Property / cites work: Q4713368 / rank @@
+Normal rank
@@ Property / cites work @@
+FPsolve: A Generic Solver for Fixpoint Equations over Semirings
+Normal rank
@@ Property / cites work @@
+Bounded underapproximations
@@ Property / cites work: Bounded underapproximations / rank @@
+Normal rank
@@ Property / cites work @@
+More on the Size of Higman-Haines Sets: Effective Constructions
+Normal rank
@@ Property / cites work @@
+The Downward-Closure of Petri Net Languages
@@ Property / cites work: The Downward-Closure of Petri Net Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Effective constructions in well-partially-ordered free monoids
+Normal rank
@@ Property / cites work @@
+Q2776249
@@ Property / cites work: Q2776249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3527019
@@ Property / cites work: Q3527019 / rank @@
+Normal rank
@@ Property / cites work @@
+On the State Complexity of Scattered Substrings and Superstrings
+Normal rank
@@ Property / cites work @@
+Q2893312
@@ Property / cites work: Q2893312 / rank @@
+Normal rank
@@ Property / cites work @@
+Conservative Ambiguity Detection in Context-Free Grammars
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2799199