Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. Conference contribution › Research
  2. Published

    Formal Methods for Extensions to CAS

    Dunstan, MN., Kelsey, T. W., Linton, S. A. & Martin, U., 1999, Proceedings of Formal Methods 1999. Springer-Verlag, p. 1758-1777 (Lecture Notes in Computer Science; vol. 1709).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Published

    Lightweight Formal Methods for Computer Algebra Systems

    Martin, U. H. M., Dunstan, MN., Kelsey, T. W. & Linton, S. A., 1998, Proceedings of the International Symposium on Symbolic and Algebraic Computation. ACM, p. 80-87 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Published

    Tractable Symmetry Breaking using Restricted Search Trees

    Roney-Dougal, C. M., Gent, I. P., Kelsey, T. W. & Linton, S. A., Aug 2004, ECAI 2004: 16th European Conference on Artificial Intelligence, August 22-27, 2004, Valencia, Spain. López de Mántaras, R. & Saitta, L. (eds.). IOS Press, p. 211-215 5 p. (Frontiers in artificial intelligence and applications; vol. 110).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Top