On Global Model Checking Trees Generated by Higher-Order Recursion Schemes (Q3617724): Difference between revisions

@@ Property / cites work @@
+Q2760241
@@ Property / cites work: Q2760241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2842876
@@ Property / cites work: Q2842876 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2005
@@ Property / cites work: Mathematical Foundations of Computer Science 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Positional Strategies for Higher-Order Pushdown Parity Games
+Normal rank
@@ Property / cites work @@
+The IO- and OI-hierarchies
@@ Property / cites work: The IO- and OI-hierarchies / rank @@
+Normal rank
@@ Property / cites work @@
+Collapsible Pushdown Automata and Recursion Schemes
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501540
@@ Property / cites work: Q4501540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738227
@@ Property / cites work: Q4738227 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Note on winning positions on pushdown games with \(\omega\)-regular conditions
+Normal rank
@@ Property / cites work @@
+Bisimulation, modal logic and model checking games
+Normal rank