Publicaciones (8) Publicaciones en las que ha participado algún/a investigador/a

1994

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

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

  3. Combining lazy narrowing with disequality constraints

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

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

  5. Introducción a la informática

    Madrid : Editorial Complutense, 1994

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

  7. Model for mathematical analysis of functional logic programs and their implementations

    Elsevier Science Publishers B.V., pp. 410-415

  8. 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