Skip to content

Research at St Andrews

Stephen Alexander Linton

Person

  1. Software › Research
  2. Published
  3. Paper › Research › Peer-reviewed
  4. Published

    View of Computer Algebra Data from Coq

    Komendantsky, V., Konovalov, A. & Linton, S., 2011, p. 74-89. 16 p.

    Research output: Contribution to conferencePaperpeer-review

Top