Groups, Languages, Algorithms

Reflects the major themes of the American Mathematical Society/Association for Symbolic Logic Joint Special Session (Baltimore, MD), Interactions between Logic, Group Theory and Computer Science. This title is suitable for graduate students and researchers interested in algorithmic and combinatorial group theory.