Investigación

Publicaciones

• {J. Heras, F.J. Martín Mateos, V. Pascual} {Modelling Algebraic Structures and Morphisms in ACL2} {Applicable Algebra in Engineering, Communication and Computing (ISSN 0938-1279)} {Pendiente}{Pendiente}{Springer}{2015}{A}