Publicaciones en las que colabora con Francisco Jesús Martín Mateos (1)

2015

  1. Modelling algebraic structures and morphisms in ACL2

    Applicable Algebra in Engineering, Communications and Computing, Vol. 26, Núm. 3, pp. 277-303