Continuous One-counter Automata (Q5875944): Difference between revisions

@@ Property / OpenAlex ID @@
+W3123946441
@@ Property / OpenAlex ID: W3123946441 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric real-time reasoning
@@ Property / cites work: Parametric real-time reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144614
@@ Property / cites work: Q5144614 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4972731
@@ Property / cites work: Q4972731 / 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 @@
+Q4293543
@@ Property / cites work: Q4293543 / rank @@
+Normal rank
@@ Property / cites work @@
+On parametric timed automata and one-counter machines
+Normal rank
@@ Property / cites work @@
+The reachability problem for Petri nets is not elementary
+Normal rank
@@ Property / cites work @@
+Reachability in two-clock timed automata is PSPACE-complete
+Normal rank
@@ Property / cites work @@
+Reachability in Succinct and Parametric One-Counter Automata
+Normal rank
@@ Property / cites work @@
+On the Relationship between Reachability Problems in Timed and Counter Automata
+Normal rank
@@ Property / cites work @@
+New decidability results concerning two-way counter machines and applications
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+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 @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Real addition and the polynomial hierarchy
@@ Property / cites work: Real addition and the polynomial hierarchy / rank @@
+Normal rank