Q5376657 (Q5376657): Difference between revisions

@@ Property / author @@
+Prateek Karandikar
@@ Property / author: Prateek Karandikar / rank @@
+Normal rank
@@ Property / author @@
+Philippe Schnoebelen
@@ Property / author: Philippe Schnoebelen / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01807
@@ Property / arXiv ID: 1511.01807 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity
+Normal rank
@@ Property / cites work @@
+Piecewise testable tree languages
@@ Property / cites work: Piecewise testable tree languages / rank @@
+Normal rank
@@ Property / cites work @@
+Simon's theorem for scattered words
@@ Property / cites work: Simon's theorem for scattered words / rank @@
+Normal rank
@@ Property / cites work @@
+A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
+Normal rank
@@ Property / cites work @@
+Q5005165
@@ Property / cites work: Q5005165 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Piecewise Testable Separability for Regular Tree Languages
+Normal rank
@@ Property / cites work @@
+On free monoids partially ordered by embedding
@@ Property / cites work: On free monoids partially ordered by embedding / rank @@
+Normal rank
@@ Property / cites work @@
+Q3618853
@@ Property / cites work: Q3618853 / 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 @@
+Q5738937
@@ Property / cites work: Q5738937 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942271
@@ Property / cites work: Q4942271 / rank @@
+Normal rank
@@ Property / cites work @@
+On shuffle products, acyclic automata and piecewise-testable languages
+Normal rank
@@ Property / cites work @@
+Q5144688
@@ Property / cites work: Q5144688 / rank @@
+Normal rank
@@ Property / cites work @@
+Recompression
@@ Property / cites work: Recompression / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in substructure orderings. I: Finite semilattices
+Normal rank
@@ Property / cites work @@
+Kernel methods for learning languages
@@ Property / cites work: Kernel methods for learning languages / rank @@
+Normal rank
@@ Property / cites work @@
+On the index of Simon's congruence for piecewise testability
+Normal rank
@@ Property / cites work @@
+Piecewise testable languages via combinatorics on words
+Normal rank
@@ Property / cites work @@
+On the state complexity of closures and interiors of regular languages with subwords and superwords
+Normal rank
@@ Property / cites work @@
+Alternative Automata Characterization of Piecewise Testable Languages
+Normal rank
@@ Property / cites work @@
+Q5278312
@@ Property / cites work: Q5278312 / rank @@
+Normal rank
@@ Property / cites work @@
+The Height of Piecewise-Testable Languages with Applications in Logical Complexity
+Normal rank
@@ Property / cites work @@
+Definability in the Subword Order
@@ Property / cites work: Definability in the Subword Order / rank @@
+Normal rank
@@ Property / cites work @@
+Theories of orders on the set of words
@@ Property / cites work: Theories of orders on the set of words / rank @@
+Normal rank
@@ Property / cites work @@
+Q4608630
@@ Property / cites work: Q4608630 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of k-Piecewise Testability and the Depth of Automata
+Normal rank
@@ Property / cites work @@
+On Boolean combinations forming piecewise testable languages
+Normal rank
@@ Property / cites work @@
+Q3769981
@@ Property / cites work: Q3769981 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability of word equations with constants is in PSPACE
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial closure and unambiguous product
@@ Property / cites work: Polynomial closure and unambiguous product / rank @@
+Normal rank
@@ Property / cites work @@
+Cognitive and Sub-regular Complexity
@@ Property / cites work: Cognitive and Sub-regular Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q3644388
@@ Property / cites work: Q3644388 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077455
@@ Property / cites work: Q4077455 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3659988
@@ Property / cites work: Q3659988 / rank @@
+Normal rank
@@ Property / cites work @@
+Partially ordered finite monoids and a theorem of I. Simon
+Normal rank
@@ Property / cites work @@
+On the state complexity of reversals of regular languages
+Normal rank
@@ Property / cites work @@
+Classification of finite monoids: the language approach
+Normal rank
@@ Property / cites work @@
+Q4782722
@@ Property / cites work: Q4782722 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681320
@@ Property / cites work: Q4681320 / rank @@
+Normal rank
@@ Property / cites work @@
+An Approach to Computing Downward Closures
@@ Property / cites work: An Approach to Computing Downward Closures / rank @@
+Normal rank
@@ Property / cites work @@
+Separability by piecewise testable languages and downward closures beyond subwords
+Normal rank