Artículos (3) Publicaciones en las que ha participado algún/a investigador/a

1990

  1. A first order logic for partial functions

    Theoretical Computer Science, Vol. 74, Núm. 1, pp. 37-69

  2. Algebraic simplification in computer algebra: an analysis of bottom-up algorithms

    Theoretical Computer Science, Vol. 74, Núm. 3, pp. 273-298

  3. 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