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

2017

  1. Harmonic analysis associated with a discrete Laplacian

    Journal d'Analyse Mathematique, Vol. 132, Núm. 1, pp. 109-131

2013

  1. Proof-pattern recognition and lemma discovery in ACL2

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

1994

  1. Supporting dynamic displays using active rules

    SIGMOD Record, Vol. 12, Núm. 2, pp. 180-193