Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2012
  2. Published

    Introduction to the special issue on automatic program generation for embedded systems

    Hammond, K. & Kelly, P. H. J., 1 Feb 2012, In : Science of Computer Programming. 77, 2, p. 81-82 2 p.

    Research output: Contribution to journalEditorial

  3. 2011
  4. Published

    International Journal of Algebra and Computation: Preface

    Bleak, C., Hermiller, S., Jajcayova, T. & Margolis, S., 1 Feb 2011, In : International Journal of Algebra and Computation. 21, 1-2

    Research output: Contribution to journalEditorial

  5. 2002
  6. Published

    Editorial: The integration of automated reasoning and computer algebra systems

    Linton, S. & Sebastiani, R., Oct 2002, In : Journal of Symbolic Computation. 34, p. 239-239 1 p.

    Research output: Contribution to journalEditorial

  7. Published

    Satisfiability in the year 2000

    Gent, I. P. & Walsh, T., Feb 2002, In : Journal of Automated Reasoning. 28, 2, p. 99-99 1 p.

    Research output: Contribution to journalEditorial

  8. 2000
  9. Published

    Satisfiability in the Year 2000

    Gent, I. P. & Walsh, T., Feb 2000, In : Journal of Automated Reasoning. 24, 1-2, p. 1-3 3 p.

    Research output: Contribution to journalEditorial

ID: 1395

Top