Publicaciones en colaboración con investigadores/as de Chalmers University of Technology (2)

2013

  1. Computing persistent homology within coq/ssreflect

    ACM Transactions on Computational Logic, Vol. 14, Núm. 4

  2. Proof-pattern recognition and lemma discovery in ACL2

    Lecture Notes in Computer Science, Vol. 8312 LNCS, pp. 389-406