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)

  4. 2016
  5. Published

    Intuitionistic decision procedures since Gentzen

    Dyckhoff, R., 5 May 2016, Advances in Proof Theory. Kahle, R., Strahm, T. & Studer, T. (eds.). Birkhäuser Basel, p. 245-267 (Progress in Computer Science and Applied Logic; vol. 28).

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

  6. Published

    Some remarks on proof-theoretic semantics

    Dyckhoff, R., 2016, Advances in Proof-Theoretic Semantics. Piecha, T. & Schroeder-Heister, P. (eds.). Springer, p. 79-93 15 p. (Trends in Logic; vol. 43).

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

  7. 2017
  8. Published

    Relations among partitions

    Bailey, R. A., 2017, Surveys in Combinatorics 2017. Claesson, A., Dukes, M., Kitaev, S., Manlove, D. & Meeks, K. (eds.). Cambridge: Cambridge University Press, p. 1-86 86 p. (London Mathematical Society Lecture Note Series; vol. 440).

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

ID: 1395

Top