The following pages link to (Q3262784):
Displaying 9 items.
- The isomorphism problem for multiparameter quantized Weyl algebras. (Q497999) (← links)
- Model-theoretic and algorithmic questions in group theory (Q1063112) (← links)
- Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. II (Q1067006) (← links)
- A field guide to equational logic (Q1201350) (← links)
- Small cancellation theory over Burnside groups (Q2319887) (← links)
- Recursively enumerable degress and the conjugacy problem (Q2533187) (← links)
- On Finite Presentations for Groups (Q3876120) (← links)
- An equational logic sampler (Q5055725) (← links)
- Some Undecidable Problems in Group Theory (Q5675710) (← links)