The exact complexity of the infinite Post Correspondence Problem (Q2345861): Difference between revisions

@@ 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.ipl.2015.02.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2007803218
@@ Property / OpenAlex ID: W2007803218 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable problems for probabilistic automata of fixed dimension
+Normal rank
@@ Property / cites work @@
+\(\omega\)-computations on deterministic pushdown machines
+Normal rank
@@ Property / cites work @@
+\(\omega\)-computations on Turing machines
@@ Property / cites work: \(\omega\)-computations on Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+Index sets for ω‐languages
@@ Property / cites work: Index sets for ω‐languages / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of Topological and Arithmetical Properties of Infinitary Rational Relations
+Normal rank
@@ Property / cites work @@
+THREE APPLICATIONS TO RATIONAL RELATIONS OF THE HIGH UNDECIDABILITY OF THE INFINITE POST CORRESPONDENCE PROBLEM IN A REGULAR ω-LANGUAGE
+Normal rank
@@ Property / cites work @@
+Two decidability problems for infinite words
@@ Property / cites work: Two decidability problems for infinite words / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737895
@@ Property / cites work: Q4737895 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of infinite post correspondence problem for instances of Size 9
+Normal rank
@@ Property / cites work @@
+Q3409982
@@ Property / cites work: Q3409982 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3741057
@@ Property / cites work: Q3741057 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281565
@@ Property / cites work: Q4281565 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank