Pages that link to "Item:Q5729299"

The following pages link to Partial results regarding word problems and recursively enumerable degrees of unsolvability (Q5729299):

Displaying 4 items.

• Model-theoretic and algorithmic questions in group theory (Q1063112) (← links)
• The post correspondence problem (Q5556433) (← links)
• Hierarchies of Computable groups and the word problem (Q5567869) (← links)
• Some structure results for propositional calculi (Q5582301) (← links)