Groups, languages, algorithms - Borovik Alexandre V ed.; AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science; AMS-ASL Joint special session on interactions between logic, group theory, and computer science Baltimore, Maryland 16-19 Jan 2003 (Providence AMS, 2005)
Keywords: Finite groups; Group theory; Infinite groups