Sistemas Informáticos y Computación

1995

1. 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)

2. Acceptance trees for probabilistic processes

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

3. Asociatividad en álgebras de procesos probabilísticas

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

4. Extension orderings

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

5. From abstract data types to logical frameworks

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

6. Orderings, AC-theories and symbolic constraint solving

   Proceedings - Symposium on Logic in Computer Science