Pages that link to "Item:Q792770"
From MaRDI portal
The following pages link to On some variants of Post's correspondence problem (Q792770):
Displayed 5 items.
- New proof for the undecidability of the circular PCP (Q378203) (← links)
- On the \(n\)-permutation Post correspondence problem (Q496055) (← links)
- On complete one-way functions (Q734307) (← links)
- Undecidable problems in unreliable computations. (Q1401309) (← links)
- Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems (Q5458840) (← links)