Groups, Languages, Algorithms: Ams-asl Joint Special Session On Interactions Between Logic, Group Theory, And Computer Science, January 16-19, 2003, Baltimore, Maryland

In these materials from the session of January 2003, participants describe their developments in the technique for the group theory/logic interface, including a detailed survey of the sate of the art in the theory of formal language as it applies to groups, an expansion of the language metaphor in Lyndon's free length functions, A -free groups and tree-free groups, effective J8J decompositions, lifting solutions into generic points in algebraic geometry over free groups, and divisibility theory and complexity of algorithms for free partially commutative groups. Annotation ©2005 Book News, Inc., Portland, OR (booknews.com)