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

@@ Property / DOI @@
-.1016/j.tcs.2018.09.035
@@ Property / DOI: 10.1016/j.tcs.2018.09.035 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+MoCHi
@@ Property / describes a project that uses: MoCHi / 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.2018.09.035
+Normal rank
@@ Property / OpenAlex ID @@
+W2909807115
@@ Property / OpenAlex ID: W2909807115 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.TCS.2018.09.035
@@ Property / DOI: 10.1016/J.TCS.2018.09.035 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2422040