Publikationen in Zusammenarbeit mit Forschern von 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