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

1990

  1. A first order logic for partial functions

    Theoretical Computer Science, Vol. 74, Núm. 1, pp. 37-69

  2. SEMANTIC OPTIMIZATION IN DATA-BASES USING ARTIFICIAL-INTELLIGENCE TECHNIQUES

    ARTIFICIAL INTELLIGENCE IN DATABASE AND INFORMATION SYSTEMS ( DS-3 )

  3. Verificación de programas y metodología de la programación

    Bilbao : Servicio Editorial, Universidad del País Vasco = Argitarapen Zerbitzua, Euskal Herrio Unibersitatea, 1990