Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. Published

    Interfacing Coq + SSReflect with GAP

    Komendantsky, V., Konovalov, A. & Linton, S. A., 19 Sep 2012, In: Electronic Notes in Theoretical Computer Science. 285, 19, p. 17-28

    Research output: Contribution to journalArticlepeer-review

Top