Computational and experimental group theory proceedings - Borovik Alexandre V ed.; AMS-ASL Joint Special Session Interactions Between Logic, Group Theory and Computer Science; AMS-ASL joint special session Interactions between logic, group theory and computer science Baltimore, Maryland 15-16 Jan 2003 (Providence AMS, 2004)
Keywords: Non-Abelian groups; Permutation groups; Quantum theory