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

1998

  1. An invitation to friendly testing

    Journal of Computer Science and Technology, Vol. 13, Núm. 6

  2. Condition measures and properties of the central trajectory of a linear program

    Mathematical Programming, Series B, Vol. 83, Núm. 1, pp. 1-28

  3. Invitation to friendly testing

    Journal of Computer Science and Technology, Vol. 13, Núm. 6, pp. 531-545

  4. Pragmatic user model implementation in an intelligent help system

    British Journal of Educational Technology, Vol. 29, Núm. 2, pp. 113-123

  5. Rewrite orderings for higher-order terms in η-long β-normal form and the recursive path ordering

    Theoretical Computer Science, Vol. 208, Núm. 1-2, pp. 33-58

  6. Zariski pairs, fundamental groups and alexander polynomials

    Journal of the Mathematical Society of Japan, Vol. 50, Núm. 3, pp. 521-543