Pages that link to "Item:Q1408462"
From MaRDI portal
The following pages link to Decidability of the binary infinite Post Correspondence Problem (Q1408462):
Displaying 9 items.
- The structure of infinite solutions of marked and binary Post correspondence problems (Q866910) (← links)
- More decidable instances of Post's correspondence problem: beyond counting (Q963345) (← links)
- Two decidability problems for infinite words (Q1072715) (← links)
- Binary (generalized) Post Correspondence Problem (Q1605309) (← links)
- Deciding simple infinity axiom sets with one binary relation by means of superpostulates (Q2096446) (← links)
- Extension of the decidability of the marked PCP to instances with unique blocks (Q2373757) (← links)
- Undecidability of infinite Post correspondence problem for instances of size 8 (Q2905329) (← links)
- Undecidability of infinite post correspondence problem for instances of Size 9 (Q3423136) (← links)
- On bi-infinite and conjugate post correspondence problems (Q6186538) (← links)