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. | ||
* '''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 == | == Congresos == | ||
== Proyectos == | == Proyectos == |
Revisión del 12:36 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.
- 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.