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.
- Formally Verified Tableau-Based Reasoners for a Description Logic, M.J. Hidalgo, J.A. Alonso, J. Borrego, F.J. Martín Mateos, J.L. Ruiz, Journal of Automated Reasoning (ISSN 0168-7433), 52(3), 331--360, Springer, 2014.
- Verifying the Bridge between Simplicial Topology and Algebra: the Eilenberg–Zilber Algorithm, L. Lambán, J. Rubio, F.J. Martín Mateos, J.L. Ruiz, Logic Journal of the IGPL (ISSN 1367-0751), 22(1), 39--65, Oxford University Press, 2014.
Congresos
Proyectos