Sistemas Informáticos y Computación

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. DREAM: The distributed Eden abstract machine

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

4. Embedding multiset constraints into a lazy functional logic language

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

5. Free variable tableaux for a logic with term declarations

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

6. Improving control in functional logic program specialization

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

7. Invitation to friendly testing

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

8. Managing the usage experience in a library of software components

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

9. Maude as a metalanguage

   Electronic Notes in Theoretical Computer Science

10. Metalevel computation in maude

    Electronic Notes in Theoretical Computer Science

11. Pragmatic user model implementation in an intelligent help system

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

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

13. Zariski pairs, fundamental groups and alexander polynomials

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