Saila
Sistemas Informáticos y Computación
Biltzar ekarpenak (6) Ikertzaileren baten partaidetza izan duten argitalpenak
1994
-
Ac-superposition with constraints: No AC-unifiers needed
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Average-case analysis of pattern-matching in trees under the BST probability model
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Combining lazy narrowing with disequality constraints
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Compiling rewriting onto SIMD and MIMD/SIMD machines
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Introducing fairness in CSP systems specified with state variables
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Un método de estimación de área en síntesis de alto nivel
Actas del IX Congreso de Diseño de Circuitos Integrados, 9, 10 y 11 de noviembre de 1994, Maspalomas, Gran Canaria