Publicaciones (5) 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. Algorítmica: concepción y análisis

    Masson

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

  5. TRIP: An implementation of clausal rewriting

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)