Pages that link to "Item:Q2247995"

The following pages link to Word problem for deterministic and reversible semi-Thue systems (Q2247995):

Displaying 2 items.

• New proof for the undecidability of the circular PCP (Q378203) (← links)
• On the \(n\)-permutation Post correspondence problem (Q496055) (← links)