The following pages link to (Q5825667):
Displaying 13 items.
- Model-theoretic and algorithmic questions in group theory (Q1063112) (← links)
- Groups finitely presented in Burnside varieties (Q2193231) (← links)
- Recursively enumerable degress and the conjugacy problem (Q2533187) (← links)
- Note on independent equation problems in groups (Q2551824) (← links)
- Computing All Maps into a Sphere (Q3189652) (← links)
- Efficient Computation in Groups and Simplicial Complexes (Q3669634) (← links)
- Groups Presented by Finite Two-Monadic Church-Rosser Thue Systems (Q3741791) (← links)
- Recursively enumerable sets and degrees (Q4184825) (← links)
- Taming the hydra: The word problem and extreme integer compression (Q4554889) (← links)
- (Q4826149) (← links)
- An equational logic sampler (Q5055725) (← links)
- Some Undecidable Problems in Group Theory (Q5675710) (← links)
- Asymptotic cyclic expansion and bridge groups of formal proofs (Q5945614) (← links)