- 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 "Palomo Lozano, Francisco"
Mostrando ítems 1-1 de 1
-
Artículo
A verified Common Lisp implementation of Buchberger's algorithm in ACL2
Medina Bulo, Inmaculada; Palomo Lozano, Francisco; Ruiz Reina, José Luis (Elsevier, 2010)In this article, we present the formal verification of a Common Lisp implementation of Buchberger's algorithm for ...