Pushdown processes: Games and model-checking (Q1854405): Difference between revisions

@@ Property / DOI @@
-.1006/inco.2000.2894
@@ Property / DOI: 10.1006/inco.2000.2894 / rank @@
-Normal rank
@@ Property / cites work @@
+Q4733426
@@ Property / cites work: Q4733426 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142557
@@ Property / cites work: Q3142557 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3739111
@@ Property / cites work: Q3739111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3753490
@@ Property / cites work: Q3753490 / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of ends, pushdown automata, and second-order logic
+Normal rank
@@ Property / cites work @@
+Q4010366
@@ Property / cites work: Q4010366 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed point characterization of infinite behavior of finite-state systems
+Normal rank
@@ Property / cites work @@
+Games for the \(\mu\)-calculus
@@ Property / cites work: Games for the \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4339226
@@ Property / cites work: Q4339226 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast and simple nested fixpoints
@@ Property / cites work: Fast and simple nested fixpoints / rank @@
+Normal rank
@@ Property / cites work @@
+An automata theoretic decision procedure for the propositional mu- calculus
+Normal rank
@@ Property / cites work @@
+On the synthesis of strategies in infinite games
@@ Property / cites work: On the synthesis of strategies in infinite games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / DOI @@
+.1006/INCO.2000.2894
@@ Property / DOI: 10.1006/INCO.2000.2894 / rank @@
+Normal rank