- idUS
- Browsing by Author
Browsing by Author "Pascual, Vico"
Now showing items 1-1 of 1
-
Article
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 ...