| |
| 2004 | ||
|---|---|---|
| 2 | EE | Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez, José-Luis Ruiz-Reina: Verified Computer Algebra in Acl2. Gröbner Bases Computation. AISC 2004: 171-184 |
| 2001 | ||
| 1 | EE | Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez: A Certified Polynomial-Based Decision Procedure for Propositional Logic. TPHOLs 2001: 297-312 |
| 1 | José A. Alonso-Jiménez | [1] [2] |
| 2 | Inmaculada Medina-Bulo | [1] [2] |
| 3 | José-Luis Ruiz-Reina | [2] |