The following pages link to (Q5414545):
Displaying 8 items.
- New proof for the undecidability of the circular PCP (Q378203) (← links)
- On the \(n\)-permutation Post correspondence problem (Q496055) (← links)
- Variations on the post correspondence problem for free groups (Q832925) (← links)
- On fixed points of rational transductions (Q1637233) (← links)
- Word problem for deterministic and reversible semi-Thue systems (Q2247995) (← links)
- (Q3340178) (← links)
- Reachability via Cooperating Morphisms (Q4982083) (← links)
- Post's Correspondence Problem for hyperbolic and virtually nilpotent groups (Q6188133) (← links)