Reachability in Succinct and Parametric One-Counter Automata (Q3184686): Difference between revisions

@@ Property / cites work @@
+Q4251918
@@ Property / cites work: Q4251918 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric real-time reasoning
@@ Property / cites work: Parametric real-time reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Programs with Lists Are Counter Automata
@@ Property / cites work: Programs with Lists Are Counter Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Flat Parametric Counter Automata
@@ Property / cites work: Flat Parametric Counter Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218930
@@ Property / cites work: Q4218930 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619797
@@ Property / cites work: Q3619797 / rank @@
+Normal rank
@@ Property / cites work @@
+The Effects of Bounding Syntactic Resources on Presburger LTL
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+On two-way FA with monotonic counters and quadratic Diophantine equations
+Normal rank
@@ Property / cites work @@
+On the solvability of a class of Diophantine equations and applications
+Normal rank
@@ Property / cites work @@
+DP lower bounds for equivalence-checking and model-checking of one-counter automata
+Normal rank
@@ Property / cites work @@
+Q2754154
@@ Property / cites work: Q2754154 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+The Diophantine Problem for Addition and Divisibility
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+Q4449211
@@ Property / cites work: Q4449211 / rank @@
+Normal rank