Departamento
Sistemas Informáticos y Computación
Aportaciones congreso (6) Publicaciones en las que ha participado algún/a investigador/a
1995
-
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)
-
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
-
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)
-
Orderings, AC-theories and symbolic constraint solving
Proceedings - Symposium on Logic in Computer Science