Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2015
  2. Published

    Cut-elimination, substitution and normalisation

    Dyckhoff, R., 2015, Dag Prawitz on Proofs and Meaning. Wansing, H. (ed.). Springer, p. 163-187 (Outstanding Contributions to Logic; vol. 7).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  3. Published

    Permutation groups and transformation semigroups: results and problems

    Araujo, J. & Cameron, P. J., Oct 2015, Groups St Andrews 2013. Campbell, C. M., Quick, M. R., Robertson, E. F. & Roney-Dougal, C. M. (eds.). Cambridge University Press, p. 128-141 (London Mathematical Society Lecture Note Series; vol. 422).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

ID: 1395

Top