Fachbereich
Sistemas Informáticos y Computación
Artikel (3) Publikationen, an denen Forscher/innen teilgenommen haben
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
-
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