Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2016
  2. Published

    Design keys for multiphase experiments

    Bailey, R. A., 2016, mOda 11---Advances in Model-Oriented Design and Analysis: Proceedings of the 11th International Workshop in Model-Oriented Design and Analysis held in Hamminkeln, Germany, June 12-17, 2016. Kunert, J., M"uller, C. H. & Atkinson, A. C. (eds.). Springer, p. 27-35 9 p. (Contributions to Statistics).

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

  3. Forthcoming

    Ideal structure of the C*-algebra of Thompson group T

    Bleak, C. & Juschenko, K., 25 Apr 2016, (Accepted/In press) Topological Methods in Geometric Group Theory. Cambridge University Press, 10 p. (London Mathematical Society Lecture Note Series).

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

  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

    Regular fractions of factorial arrays

    Groemping, U. & Bailey, R. A., 2016, mODa 11---Advances in Model-Oriented Design and Analysis: Proceedings of the 11th International Workshop in Model-Oriented Design and Analysis. Kunert, J., M"uller, C. H. & Atkinson, A. C. (eds.). Springer, p. 143-151 9 p. (Contributions to Statistics).

    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)

ID: 1395

Top