Skip to content

Research at St Andrews

Alexander Konovalov

Person

  1. Published

    View of Computer Algebra Data from Coq

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

    Research output: Contribution to conferencePaper

Top