Conference papers (5) Publications in which a researcher has participated

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. Application of TINA-C architecture to management services

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

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

  4. Integración del análisis y mejora de la testabilidad en una herramienta de SAN

    Actas del IX Congreso de Diseño de Circuitos Integrados, 9, 10 y 11 de noviembre de 1994, Maspalomas, Gran Canaria

  5. NUMERICAL SIMULATIONS AND PARALLEL IMPLEMENTATION OF SOME NONLINEAR SCHRODINGER SYSTEMS

    NONLINEAR COHERENT STRUCTURES IN PHYSICS AND BIOLOGY