Emptiness of Multi-pushdown Automata Is 2ETIME-Complete (Q3533004): 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-540-85780-8_9
+Normal rank
@@ Property / OpenAlex ID @@
+W1603445208
@@ Property / OpenAlex ID: W1603445208 / rank @@
+Normal rank
@@ Property / cites work @@
+Emptiness of Multi-pushdown Automata Is 2ETIME-Complete
+Normal rank
@@ Property / cites work @@
+Reachability analysis of pushdown automata: Application to model-checking
+Normal rank
@@ Property / cites work @@
+MULTI-PUSH-DOWN LANGUAGES AND GRAMMARS
@@ Property / cites work: MULTI-PUSH-DOWN LANGUAGES AND GRAMMARS / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated stack automata and complexity classes
@@ Property / cites work: Iterated stack automata and complexity classes / rank @@
+Normal rank
@@ Property / cites work @@
+Context-Bounded Analysis of Concurrent Queue Systems
+Normal rank
@@ Property / cites work @@
+An Infinite Automaton Characterization of Double Exponential Time
+Normal rank