Departament
Sistemas Informáticos y Computación
Publicacions (8) Publicacions en què ha participat algun/a investigador/a
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)
-
Introducción a la informática
Madrid : Editorial Complutense, 1994
-
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)
-
Model for mathematical analysis of functional logic programs and their implementations
Elsevier Science Publishers B.V., pp. 410-415
-
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