Departamento
Sistemas Informáticos y Computación
Artigos (6) Publicacións nas que participase algún/ha investigador/a
1998
-
An invitation to friendly testing
Journal of Computer Science and Technology, Vol. 13, Núm. 6
-
Condition measures and properties of the central trajectory of a linear program
Mathematical Programming, Series B, Vol. 83, Núm. 1, pp. 1-28
-
Invitation to friendly testing
Journal of Computer Science and Technology, Vol. 13, Núm. 6, pp. 531-545
-
Pragmatic user model implementation in an intelligent help system
British Journal of Educational Technology, Vol. 29, Núm. 2, pp. 113-123
-
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
-
Zariski pairs, fundamental groups and alexander polynomials
Journal of the Mathematical Society of Japan, Vol. 50, Núm. 3, pp. 521-543