Publicaciones (14) Publicaciones en las que ha participado algún/a investigador/a

1995

  1. A gentle introduction to algorithm complexity for CS1 with nine variations on a theme by Fibonacci

    ACM SIGCSE Bulletin, Vol. 27, Núm. 2, pp. 49-56

  2. A second year course on data structures based on functional programming

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

  3. A total AC-compatible ordering based on RPO

    Theoretical Computer Science, Vol. 142, Núm. 2, pp. 209-227

  4. Acceptance trees for probabilistic processes

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

  5. Asociatividad en álgebras de procesos probabilísticas

    I Jornadas de informática. Actas: Puerto de la Cruz, 17-21 de julio de 1995

  6. Case-based retrieval of software components

    Expert Systems With Applications, Vol. 9, Núm. 3, pp. 397-405

  7. Extension orderings

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

  8. From abstract data types to logical frameworks

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

  9. La programación funcional en Haskell

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 115, pp. 42

  10. La selección de personal a través de un sistema experto informático de evaluación: la experiencia de Iberpacking/Seri-Envás

    Capital humano: revista para la integración y desarrollo de los recursos humanos, Año 8, Núm. 83, pp. 50-52

  11. La selección de personal a través de un sistema experto informático de evaluación: la experiencia de iberpacking/Seri-Envas

    Capital humano: revista para la integración y desarrollo de los recursos humanos, Núm. 83, pp. 50-52

  12. Orderings, AC-theories and symbolic constraint solving

    Proceedings - Symposium on Logic in Computer Science

  13. Selección de Personal

    Capital humano: revista para la integración y desarrollo de los recursos humanos

  14. Theorem proving with ordering and equality constrained clauses

    Journal of Symbolic Computation, Vol. 19, Núm. 4, pp. 321-351