AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science (2003 Baltimore, Md.)
David Ezra Stein
Corín Tellado
Takeji Iwamiya
