Departamento
Sistemas Informáticos y Computación
Publicaciones (5) Publicaciones en las que ha participado algún/a investigador/a
1990
-
A first order logic for partial functions
Theoretical Computer Science, Vol. 74, Núm. 1, pp. 37-69
-
Algebraic simplification in computer algebra: an analysis of bottom-up algorithms
Theoretical Computer Science, Vol. 74, Núm. 3, pp. 273-298
-
Algorítmica: concepción y análisis
Masson
-
An elementary based sufficient condition for sums of 2mth powers of polynomials over non-archimedean real closed fields
Journal of Pure and Applied Algebra, Vol. 63, Núm. 3, pp. 219-224
-
TRIP: An implementation of clausal rewriting
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)