Edinburgh Research Explorer

Research projects

Advanced

Reset

to
  1. Project: Funded ProjectResearch

  2. Project: Funded ProjectResearch

  3. Project: Funded ProjectResearch

  4. Project: Funded ProjectResearch

  5. Project: Funded ProjectResearch

  6. Mechanising metatheory with nominal logic programming

    Cheney, J.

    1/10/0831/12/08

    £415,068, Other (Learned Society)

    Project: Funded ProjectResearch

  7. DPFS Resource Request

    Seckl, J. & Walkinshaw, M.

    1/11/0831/10/10

    £367,283, MRC

    Project: Funded ProjectResearch

  8. Project: Funded ProjectResearch

Previous 1 2 3 4 5 6 7 8 ...1891 Next