Département
Sistemas Informáticos y Computación
Publications (14) Publications auxquelles un chercheur a participé
1995
-
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
-
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)
-
A total AC-compatible ordering based on RPO
Theoretical Computer Science, Vol. 142, Núm. 2, pp. 209-227
-
Acceptance trees for probabilistic processes
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Asociatividad en álgebras de procesos probabilísticas
I Jornadas de informática. Actas: Puerto de la Cruz, 17-21 de julio de 1995
-
Case-based retrieval of software components
Expert Systems With Applications, Vol. 9, Núm. 3, pp. 397-405
-
Extension orderings
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
From abstract data types to logical frameworks
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
La programación funcional en Haskell
Novática: Revista de la Asociación de Técnicos de Informática, Núm. 115, pp. 42
-
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
-
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
-
Orderings, AC-theories and symbolic constraint solving
Proceedings - Symposium on Logic in Computer Science
-
Selección de Personal
Capital humano: revista para la integración y desarrollo de los recursos humanos
-
Theorem proving with ordering and equality constrained clauses
Journal of Symbolic Computation, Vol. 19, Núm. 4, pp. 321-351