Groups, languages, algorithms : AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science, January 16-19, 2003, Baltimore, Maryland / Alexandre V. Borovik, editor.
Publication Info.
Providence, Rhode Island : American Mathematical Society, [2005]