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

  15. 2005
  16. Published

    Consistency for quantified constraint satisfaction problems

    Nightingale, P., 2005, Unknown Publisher. 5 p.

    Research output: Book/ReportBook

  17. Published

    FSM-Hume is Finite State Trends in Functional Programming, Volume 4, Stephen Gilmore (ed.) : Trends in Functional Programming 4, Intellect

    Hammond, K., Michaelson, G. & Sérot, J., 2005, Unknown Publisher.

    Research output: Book/ReportBook

  18. Published

    Local and global complete solution learning methods for QBF

    Gent, I. P. & Rowley, A. G. D., 2005, Unknown Publisher. 16 p.

    Research output: Book/ReportBook

  19. Published

    The temporal knapsack problem and its solution

    Bartlett, M., Frisch, A. M., Hamadi, Y., Miguel, I., Tarim, S. A. & Unsworth, C., 2005, Unknown Publisher. 15 p.

    Research output: Book/ReportBook

  20. Published

    Transforming and refining abstract constraint specifications

    Frisch, A. M., Hnich, B., Miguel, I., Smith, B. M. & Walsh, T., 2005, Unknown Publisher. 16 p.

    Research output: Book/ReportBook

  21. 2006
  22. Published

    A hybrid Benders' decomposition method for solving Stochastic Constraint Programs with linear recourse

    Tarim, S. A. & Miguel, I., 2006, Unknown Publisher. 16 p.

    Research output: Book/ReportBook

  23. 2007
  24. Published

    Groups - St Andrews 1981 (new edition)

    Campbell, C. M. & Robertson, E. F., 2007, Cambridge University Press. 373 p. (London Mathematical Society Lecture Note Series 71)

    Research output: Book/ReportBook

  25. Published

    Groups St Andrews 2005, Volume 1

    Campbell, C. M., Quick, M., Robertson, E. F. & Smith, G. C., 2007, Cambridge University Press. 355 p. (London Mathematical Lecture Note Series 387)

    Research output: Book/ReportBook

  26. Published

    Groups St Andrews 2005, Volume 2

    Campbell, C. M., Quick, M., Robertson, E. F. & Smith, G. C., 2007, Cambridge University Press. 345 p. (London Mathematical Society Lecture Note Series 388)

    Research output: Book/ReportBook

  27. 2008
  28. Published

    Design of comparative experiments

    Bailey, R. A., 2008, Cambridge: Cambridge University Press. 330 p. (Cambridge Series in Statistical and Probabilistic Mathematics)

    Research output: Book/ReportBook

Previous 1 2 Next

ID: 1395

Top