Q4968382 (Q4968382): Difference between revisions

@@ Property / cites work @@
+Q2770662
@@ Property / cites work: Q2770662 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of regular abstractions of one-counter languages
+Normal rank
@@ Property / cites work @@
+Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete
+Normal rank
@@ Property / cites work @@
+The taming of the semi-linear set
@@ Property / cites work: The taming of the semi-linear set / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111449
@@ Property / cites work: Q5111449 / rank @@
+Normal rank
@@ Property / cites work @@
+Separability of Reachability Sets of Vector Addition Systems
+Normal rank
@@ Property / cites work @@
+Q5144625
@@ Property / cites work: Q5144625 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5009453
@@ Property / cites work: Q5009453 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Separability of Regular Languages by Subsequences and Suffixes
+Normal rank
@@ Property / cites work @@
+A Note on Decidable Separability by Piecewise Testable Languages
+Normal rank
@@ Property / cites work @@
+Q4035235
@@ Property / cites work: Q4035235 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order logic with reachability for infinite-state systems
+Normal rank
@@ Property / cites work @@
+Reachability in two-clock timed automata is PSPACE-complete
+Normal rank
@@ Property / cites work @@
+Q5090970
@@ Property / cites work: Q5090970 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Piecewise Testable Separability for Regular Tree Languages
+Normal rank
@@ Property / cites work @@
+On the reachability problem for 5-dimensional vector addition systems
+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 @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449212
@@ Property / cites work: Q4449212 / rank @@
+Normal rank
@@ Property / cites work @@
+Invisible Pushdown Languages
@@ Property / cites work: Invisible Pushdown Languages / 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 @@
+Minimal solutions of linear diophantine systems : bounds and algorithms
+Normal rank
@@ Property / cites work @@
+Lossy Counter Machines Decidability Cheat Sheet
@@ Property / cites work: Lossy Counter Machines Decidability Cheat Sheet / rank @@
+Normal rank
@@ Property / cites work @@
+Q3392273
@@ Property / cites work: Q3392273 / rank @@
+Normal rank
@@ Property / cites work @@
+Noncanonical Extensions of Bottom-Up Parsing Techniques
+Normal rank
@@ Property / cites work @@
+Petri nets and regular languages
@@ Property / cites work: Petri nets and regular languages / rank @@
+Normal rank