TY - BOOK AU - Borovik Alexandre V ed. ED - AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science ED - AMS-ASL Joint special session on interactions between logic, group theory, and computer science TI - Groups, languages, algorithms SN - 0-8218-3618-8 U1 - 510 PY - 2005/// CY - Providence PB - AMS KW - Finite groups KW - Group theory KW - Infinite groups ER -