| Línea 2: | Línea 2: | ||
* 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. | * 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 == | == Proyectos == | ||
Revisión del 12:11 12 jul 2021
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.