Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2000
  2. Published

    Computational and geometric aspects of modern algebra

    Atkinson, M., Gilbert, N., Howie, J. M., Linton, S. A. & Robertson, E. F., 2000, Cambridge University Press.

    Research output: Book/ReportBook

  3. Published

    SAT 2000: Highlights of Satisfiability Research in the Year 2000

    Gent, I. P., van Maaren, H. & Walsh, T., 2000, Unknown Publisher.

    Research output: Book/ReportBook

  4. Published

    Tableaux 2000: Automated Reasoning with Analytic Tableaux and Related Methods

    Dyckhoff, R., 2000, Springer-Verlag.

    Research output: Book/ReportBook

  5. 2002
  6. Published

    Trends in Functional Programming 3

    Hammond, K. & Curtis, S., 2002, Intellect Books.

    Research output: Book/ReportBook

  7. 2003
  8. Published

    Cost Analysis using Automatic Size and Time Inference

    Portillo, AJR., Hammond, K., Loidl, H-W. & Vasconcelos, P., 2003, Springer-Verlag.

    Research output: Book/ReportBook

  9. Published

    Groups St Andrews 2001 in Oxford, Volume 1

    Campbell, C. M., Robertson, E. F. & Smith, GC., 2003, Cambridge University Press.

    Research output: Book/ReportBook

  10. Published

    Groups St Andrews 2001 in Oxford, Volume 2

    Campbell, C. M., Robertson, E. F. & Smith, GC., 2003, Cambridge University Press.

    Research output: Book/ReportBook

  11. Published

    Haskell 98 Language and Libraries: the Revised Report

    Jones, SLP., Augustsson, L., Boutel, B., Burton, FW., Fairbairn, J., Fasel, JH., Gordon, A. D., Guzmán, MM., Hammond, K., Hudak, P., Hughes, RJM., Johnsson, T., Jones, MP., Kieburtz, R., Nikhil, R., Partain, WD. & Wadler, PL., 2003, Cambridge University Press. 270 p.

    Research output: Book/ReportBook

  12. 2004
  13. Published

    Association Schemes: Designed Experiments, Algebra and Combinatorics

    Bailey, R. A., 2004, Cambridge: Cambridge University Press. 387 p. (Cambridge Studies in Advanced Mathematics; vol. 84)

    Research output: Book/ReportBook

  14. Published

    Models and symmetry breaking for 'peaceable armies of queens'

    Smith, B. M., Petrie, K. E. & Gent, I. P., 2004, Unknown Publisher. 16 p.

    Research output: Book/ReportBook

Previous 1 2 3 4 Next

ID: 1395

Top