Francisco J. Martín Mateos
Investigación
Revisión del 12:12 12 jul 2021 de
Fmartin
(
discusión
|
contribs.
)
(
→Publicaciones
)
(
difs.
)
← Revisión anterior
|
Revisión actual
(
difs.
) |
Revisión siguiente →
(
difs.
)
Secciones
Publicaciones
Congresos
Proyectos
Publicaciones
Modelling Algebraic Structures and Morphisms in ACL2
, J. Heras, F.J. Martín Mateos, V. Pascual.
Applicable Algebra in Engineering, Communication and Computing
(ISSN 0938-1279) 26:3, 277-303, Springer, 2015.
Congresos
Proyectos