Publications (23) Publications in which a researcher has participated

1992

  1. A computational model for algebraic power series

    Journal of Pure and Applied Algebra, Vol. 77, Núm. 1, pp. 1-38

  2. A general scheme for constraint functional logic programming

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

  3. Basic superposition is complete

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

  4. Design control in a high level synthesis system

    Microprocessing and Microprogramming, Vol. 34, Núm. 1-5, pp. 93-96

  5. Geometrical distortion caused by substituents. 5. Method of evaluating explicative hypotheses for constrained systems

    Journal of Physical Chemistry, Vol. 96, Núm. 16, pp. 6624-6629

  6. HEURISTICS FOR BRANCH-AND-BOUND GLOBAL ALLOCATION

    EURO-DAC 92 : EUROPEAN DESIGN AUTOMATION CONFERENCE

  7. Heuristics for branch-and-bound global allocation

    European Design Automation Conference

  8. In-plane texture and transport properties of YBCO films grown on MgO cut off-axis

    Superconductor Science and Technology, Vol. 5, Núm. 3, pp. 117-122

  9. Influencias de factores del nivel fisico en la estimación de area y tiempo en Síntesis de Alto Nivel

    VII Congreso de Diseño de Circuitos Integrados: 3, 4 y 5 de noviembre de 1992, Toledo, España : actas

  10. Introducción al dBASE

    McGraw-Hill Interamericana de España

  11. Kink decay in a parametrically driven 4 chain

    Physical Review A, Vol. 45, Núm. 2, pp. 1207-1212

  12. La configuración de las obligaciones convertibles en acciones de acuerdo con el derecho vigente en España. Aspectos jurídicos y económico-fiancieros

    Actualidad financiera, Núm. 1, pp. 301-324

  13. Laser deposition of YBaCuO single-crystal thin films on different substrates

    Materials Science and Engineering B, Vol. 13, Núm. 1, pp. 21-24

  14. MIZ-PR: A theorem prover for polymorphic and recursive functions

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

  15. ORACLE: manual de referencia

    McGraw-Hill Interamericana de España

  16. On lp-copies in Musielak-Orlicz sequence spaces

    Archiv der Mathematik, Vol. 58, Núm. 2, pp. 164-173

  17. Resonant kink-impurity interactions in the sine-Gordon model

    Physical Review A, Vol. 45, Núm. 8, pp. 6019-6030

  18. Resonant kink-impurity interactions in the φ4 model

    Physical Review A, Vol. 46, Núm. 8, pp. 5214-5220

  19. Scattering properties of envelope solitons in disordered systems: Decay of localization effects by strong nonlinearity

    Waves in Random Media, Vol. 2, Núm. 2, pp. 125-140

  20. Sine-Gordon breathers on spatially periodic potentials

    Physical Review A, Vol. 45, Núm. 8, pp. 6031-6037