Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 2018
  2. Vertex Representations for Yangians of Kac-Moody algebras

    Guay, N., Regelskis, V. & Wendlandt, C., 11 Apr 2018.

    Research output: Working paper

  3. Generalised Reactive Processes in Isabelle/UTP

    Foster, S. D. & Canham, S. J., 6 Apr 2018, (Unpublished) 56 p.

    Research output: Working paper

  4. Theory of Designs in Isabelle/UTP

    Foster, S. D., Nemouchi, Y. & Zeyda, F., 6 Apr 2018, (Unpublished) 47 p.

    Research output: Working paper

  5. Kleene Algebra in Unifying Theories of Programming

    Foster, S. D., 5 Apr 2018, (Unpublished) 6 p.

    Research output: Working paper

Previous 1...3 4 5 6 7 8 9 10 ...104 Next