Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable (Q2422040): Difference between revisions

@@ Property / cites work @@
+Q4766003
@@ Property / cites work: Q4766003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4116078
@@ Property / cites work: Q4116078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4134908
@@ Property / cites work: Q4134908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4164787
@@ Property / cites work: Q4164787 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4130952
@@ Property / cites work: Q4130952 / rank @@
+Normal rank
@@ Property / cites work @@
+The IO- and OI-hierarchies
@@ Property / cites work: The IO- and OI-hierarchies / 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 @@
+Types and higher-order recursion schemes for verification of higher-order programs
+Normal rank
@@ Property / cites work @@
+Verifying higher-order functional programs with pattern-matching algebraic data types
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Superdeterministic PDAs
@@ Property / cites work: Superdeterministic PDAs / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Results on Balanced Context-Free Languages
+Normal rank
@@ Property / cites work @@
+THE INCLUSION PROBLEM OF CONTEXT-FREE LANGUAGES: SOME TRACTABLE CASES
+Normal rank
@@ Property / cites work @@
+Q3992465
@@ Property / cites work: Q3992465 / rank @@
+Normal rank
@@ Property / cites work @@
+Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata
+Normal rank
@@ Property / cites work @@
+The IO and OI hierarchies revisited
@@ Property / cites work: The IO and OI hierarchies revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Q4061986
@@ Property / cites work: Q4061986 / rank @@
+Normal rank
@@ Property / cites work @@
+On word and frontier languages of unsafe higher-order grammars
+Normal rank