A Note on Decidable Separability by Piecewise Testable Languages (Q2947878): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-22177-9_14
+Normal rank
@@ Property / OpenAlex ID @@
+W2113283923
@@ Property / OpenAlex ID: W2113283923 / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed Grammars—An Extension of Context-Free Grammars
+Normal rank
@@ Property / cites work @@
+Q4848740
@@ Property / cites work: Q4848740 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding twig-definability of node selecting tree automata
+Normal rank
@@ Property / cites work @@
+Q3774976
@@ Property / cites work: Q3774976 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular tree languages definable in FO and in FO             <sub>               <i>mod</i>             </sub>
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra for Infinite Forests with an Application to the Temporal Logic EF
+Normal rank
@@ Property / cites work @@
+Piecewise testable tree languages
@@ Property / cites work: Piecewise testable tree languages / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Vector Addition Systems with one zero-test
+Normal rank
@@ Property / cites work @@
+Efficient Separability of Regular Languages by Subsequences and Suffixes
+Normal rank
@@ Property / cites work @@
+Parikh's theorem: a simple and direct automaton construction
+Normal rank
@@ Property / cites work @@
+Q4066625
@@ Property / cites work: Q4066625 / rank @@
+Normal rank
@@ Property / cites work @@
+Semigroups, Presburger formulas, and languages
@@ Property / cites work: Semigroups, Presburger formulas, and languages / rank @@
+Normal rank
@@ Property / cites work @@
+A note on undecidable properties of formal languages
+Normal rank
@@ Property / cites work @@
+Q5738937
@@ Property / cites work: Q5738937 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decidability of Grammar Problems
@@ Property / cites work: On the Decidability of Grammar Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190159
@@ Property / cites work: Q4190159 / rank @@
+Normal rank
@@ Property / cites work @@
+The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank
@@ Property / cites work @@
+Algebraic decision procedures for local testability
+Normal rank
@@ Property / cites work @@
+On Context-Free Languages
@@ Property / cites work: On Context-Free Languages / 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 @@
+Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages
+Normal rank
@@ Property / cites work @@
+Separating Regular Languages by Piecewise Testable and Unambiguous Languages
+Normal rank
@@ Property / cites work @@
+Going Higher in the First-Order Quantifier Alternation Hierarchy on Words
+Normal rank
@@ Property / cites work @@
+Separating regular languages with first-order logic
+Normal rank
@@ Property / cites work @@
+On finite monoids having only trivial subgroups
@@ Property / cites work: On finite monoids having only trivial subgroups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077455
@@ Property / cites work: Q4077455 / rank @@
+Normal rank
@@ Property / cites work @@
+Factorization forests of finite height
@@ Property / cites work: Factorization forests of finite height / rank @@
+Normal rank
@@ Property / cites work @@
+Semigroups and languages of dot-depth two
@@ Property / cites work: Semigroups and languages of dot-depth two / rank @@
+Normal rank
@@ Property / cites work @@
+Noncanonical Extensions of Bottom-Up Parsing Techniques
+Normal rank
@@ Property / cites work @@
+Locally testable languages
@@ Property / cites work: Locally testable languages / rank @@
+Normal rank
@@ Property / cites work @@
+An Approach to Computing Downward Closures
@@ Property / cites work: An Approach to Computing Downward Closures / rank @@
+Normal rank