Publicaciones en las que colabora con Ekaterina Komendantskaya (6)

2017

  1. Proof mining with dependent types

    Lecture Notes in Computer Science, Vol. 10383 LNAI, pp. 303-318

2014

  1. ACL2(ml): Machine-learning for ACL2

    Electronic Proceedings in Theoretical Computer Science, Vol. 152, pp. 61-75

  2. Exploiting parallelism in coalgebraic logic programming

    Electronic Notes in Theoretical Computer Science, Vol. 303, pp. 121-148

  3. Recycling Proof Patterns in Coq: Case Studies

    Mathematics in Computer Science, Vol. 8, Núm. 1, pp. 99-116

2013

  1. ML4PG in computer Algebra verification

    Lecture Notes in Computer Science, Vol. 7961 LNAI, pp. 354-358

  2. Proof-pattern recognition and lemma discovery in ACL2

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