Publicaciones en colaboración con investigadores/as de University of Edinburgh (1)

2013

  1. Proof-pattern recognition and lemma discovery in ACL2

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