Ordered multi-stack visibly pushdown automata (Q344793): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2016.08.012
@@ Property / DOI: 10.1016/j.tcs.2016.08.012 / rank @@
-Normal rank
@@ 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.1016/j.tcs.2016.08.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2512356998
@@ Property / OpenAlex ID: W2512356998 / rank @@
+Normal rank
@@ Property / cites work @@
+Visibly pushdown languages
@@ Property / cites work: Visibly pushdown languages / rank @@
+Normal rank
@@ Property / cites work @@
+Pushdown module checking with imperfect information
+Normal rank
@@ Property / cites work @@
+From Multi to Single Stack Automata
@@ Property / cites work: From Multi to Single Stack Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Model-Checking of Ordered Multi-Pushdown Automata
@@ Property / cites work: Model-Checking of Ordered Multi-Pushdown Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Emptiness of Multi-pushdown Automata Is 2ETIME-Complete
+Normal rank
@@ Property / cites work @@
+ADJACENT ORDERED MULTI-PUSHDOWN SYSTEMS
@@ Property / cites work: ADJACENT ORDERED MULTI-PUSHDOWN SYSTEMS / rank @@
+Normal rank
@@ Property / cites work @@
+On the Expressive Power of 2-Stack Visibly Pushdown Automata
+Normal rank
@@ Property / cites work @@
+Reachability analysis of pushdown automata: Application to model-checking
+Normal rank
@@ Property / cites work @@
+Verification of well-formed communicating recursive state machines
+Normal rank
@@ Property / cites work @@
+Pushdown module checking
@@ Property / cites work: Pushdown module checking / rank @@
+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 @@
+-Visibly Pushdown Automata
@@ Property / cites work: 2-Visibly Pushdown Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Enriched MU-Calculi Module Checking
@@ Property / cites work: Enriched MU-Calculi Module Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Communicating Pushdown Systems
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversal-Bounded Multicounter Machines and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+Q4428305
@@ Property / cites work: Q4428305 / rank @@
+Normal rank
@@ Property / cites work @@
+The Language Theory of Bounded Context-Switching
@@ Property / cites work: The Language Theory of Bounded Context-Switching / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations
+Normal rank
@@ Property / cites work @@
+Scope-Bounded Pushdown Languages
@@ Property / cites work: Scope-Bounded Pushdown Languages / rank @@
+Normal rank
@@ Property / cites work @@
+A Unifying Approach for Multistack Pushdown Automata
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Can message buffers be axiomatized in linear temporal logic?
+Normal rank
@@ Property / cites work @@
+Q3619881
@@ Property / cites work: Q3619881 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient CTL Model-Checking for Pushdown Systems
@@ Property / cites work: Efficient CTL Model-Checking for Pushdown Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-theoretic techniques for modal logics of programs
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2016.08.012
@@ Property / DOI: 10.1016/J.TCS.2016.08.012 / rank @@
+Normal rank