Artículos (5) Publicaciones en las que ha participado algún/a investigador/a

1989

  1. Hoare's logic for nondeterministic regular programs: A nonstandard approach

    Theoretical Computer Science, Vol. 68, Núm. 3, pp. 277-302

  2. Laser-induced Nernst-Ettingshausen effect: Anomalous dependency on the magnetic field

    Physical Review B, Vol. 40, Núm. 12, pp. 8252-8255

  3. Nonlinear effects in the wave equation with a cubic restoring force

    Computational Mechanics, Vol. 5, Núm. 1, pp. 49-72

  4. Simulación de una máquina secuencial de programación lógica

    Revista de informática y automática, Año 22, Núm. 1, pp. 55-63

  5. Study of the complexity of an algorithm to derive the complement of a binary function

    International Journal of Electronics, Vol. 66, Núm. 3, pp. 333-337