Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2017
  2. 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)

  3. 2016
  4. 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)

  5. 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)

  6. 2015
  7. 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)

ID: 1395

Top