- idUS
- Investigación
- Ingeniería y Arquitectura
- Ciencias de la Computación e Inteligencia Artificial
- Artículos (Ciencias de la Computación e Inteligencia Artificial)
- Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por autor
Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por autor "Pascual, Vico"
Mostrando ítems 1-1 de 1
-
Artículo
Modelling algebraic structures and morphisms in ACL2
Heras, Jónathan; Martín Mateos, Francisco Jesús; Pascual, Vico (Springer, 2015)In this paper, we present how algebraic structures and morphisms can be modelled in the ACL2 theorem prover. Namely, we ...