{Symmetry, Logic, Computation}

Many aspects of logical structure in computation involve the study of symmetry in some form, and this study often deploys algebraic tools, such as permutation groups. In descriptive complexity theory and in database theory, the study of symmetry...