Edinburgh Research Explorer
  1. Unifying proof plans and schemas for program synthesis and transformation'

    Bundy, A.

    1/10/981/10/99

    Project: Other (Non-Funded/Miscellaneous)

  2. The integration and interaction of multiple mathematical reasoning processes

    Bundy, A., Aspinall, D., Fleuriot, J., Jackson, P., Smaill, A., Colton, S., Ireland, A. & Michaelson, G.

    EPSRC

    1/08/1131/07/15

    Project: Research

  3. The integration and interaction of multiple mathematical reasoning processes

    Bundy, A., Dennis, L., Fleuriot, J., Ireland, A., Jackson, P., Richardson, J. & Smaill, A.

    EPSRC

    1/10/0230/09/06

    Project: Research

  4. The integration and interaction of multiple mathematical Reasoning Processes

    Bundy, A., Aspinall, D., Colton, S., Fleuriot, J., Gow, J., Grov, G., Ireland, A., Jackson, P., McNeill, F., Michaelson, G. & Smaill, A.

    EPSRC

    1/11/1531/10/19

    Project: Research

  5. The Automation of Proof by Mathematical Induction

    Bundy, A.

    1/10/9230/09/94

    Project: Other (Non-Funded/Miscellaneous)

  6. The 2010 Federated Logic Conference

    Plotkin, G., Bundy, A. & Libkin, L.

    EPSRC

    1/02/1031/10/10

    Project: Research

  7. Studies in the Sociology of Proof

    Bundy, A. & McKenzie, D.

    1/10/9330/09/95

    Project: Other (Non-Funded/Miscellaneous)

Previous 1 2 3 4 5 6 7 Next