Q5076057 (Q5076057): Difference between revisions

@@ Property / cites work @@
+On word and frontier languages of unsafe higher-order grammars
+Normal rank
@@ Property / cites work @@
+Pumping Lemma for Higher-order Languages
@@ Property / cites work: Pumping Lemma for Higher-order Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Two-way cost automata and cost logics over infinite trees
+Normal rank
@@ Property / cites work @@
+A Saturation Method for Collapsible Pushdown Systems
+Normal rank
@@ Property / cites work @@
+Saturation-Based Model Checking of Higher-Order Recursion Schemes.
+Normal rank
@@ Property / cites work @@
+Q5275365
@@ Property / cites work: Q5275365 / rank @@
+Normal rank
@@ Property / cites work @@
+The Diagonal Problem for Higher-Order Recursion Schemes is Decidable
+Normal rank
@@ Property / cites work @@
+Regular Cost Functions, Part I: Logic and Algebra over Words
+Normal rank
@@ Property / cites work @@
+A Note on Decidable Separability by Piecewise Testable Languages
+Normal rank
@@ Property / cites work @@
+The IO- and OI-hierarchies
@@ Property / cites work: The IO- and OI-hierarchies / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Piecewise Testable Separability for Regular Tree Languages
+Normal rank
@@ Property / cites work @@
+Finitary Semantics of Linear Logic and Higher-Order Model-Checking
+Normal rank
@@ Property / cites work @@
+Relational semantics of linear logic and higher-order model-checking
+Normal rank
@@ Property / cites work @@
+Strictness of the Collapsible Pushdown Hierarchy
@@ Property / cites work: Strictness of the Collapsible Pushdown Hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738227
@@ Property / cites work: Q4738227 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Higher-Order Programs
@@ Property / cites work: Model Checking Higher-Order Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Pumping by Typing
@@ Property / cites work: Pumping by Typing / rank @@
+Normal rank
@@ Property / cites work @@
+Unsafe Order-2 Tree Languages Are Context-Sensitive
+Normal rank
@@ Property / cites work @@
+On the Significance of the Collapse Operation
@@ Property / cites work: On the Significance of the Collapse Operation / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of lambda-terms transforming numerals
+Normal rank
@@ Property / cites work @@
+The Complexity of the Diagonal Problem for Recursion Schemes
+Normal rank
@@ Property / cites work @@
+Q4993359
@@ Property / cites work: Q4993359 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion Schemes and the WMSO+U Logic
@@ Property / cites work: Recursion Schemes and the WMSO+U Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A type-directed abstraction refinement approach to higher-order model checking
+Normal rank
@@ Property / cites work @@
+An Approach to Computing Downward Closures
@@ Property / cites work: An Approach to Computing Downward Closures / rank @@
+Normal rank