FRANCISCO
PALOMO LOZANO
Profesor Titular de Escuela Universitaria
José Antonio
Alonso Jiménez
Publikationen, an denen er mitarbeitet José Antonio Alonso Jiménez (2)
2004
-
Verified Computer Algebra in ACL2 (Gröbner Bases Computation)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3249, pp. 171-184
2001
-
A certified polynomial-based decision procedure for propositional logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)