Pages that link to "Item:Q2729239"
From MaRDI portal
The following pages link to Some new results on Post correspondence problem and its modifications (Q2729239):
Displaying 5 items.
- On some variants of Post's correspondence problem (Q792770) (← links)
- Verification of PCP-related computational reductions in Coq (Q1791165) (← links)
- Binary equality sets are generated by two words (Q1867297) (← links)
- Remarks on generalized Post Correspondence Problem (Q4593916) (← links)
- On bi-infinite and conjugate post correspondence problems (Q6186538) (← links)