C. F. Miller

1941

• Algorithms and classification in combinatorial group theory
• On group-theoretic decision problems and their classification