Recent Submissions

  • Especificació algebraica de tipus abstractes de dades: estudi de casos 

    Franch Gutiérrez, Javier (1991-02)
    External research report
    Open Access
    Com a complement als conceptes teòrics introduïts en el report LSI-91-1 "Especificacions algebraiques", es presenta una col·lecció de problemes resolts amb el propòsit primordial de conèixer les excepcions habituals al ...
  • Restriccions d'integritat en bases de dades deductives 

    Costal Costa, Dolors (1988)
    External research report
    Open Access
    This work describes the theory and implementation of a general theorem-proving technique for checking integrity of deductive databases called "Consistency Method", and presents examples in order to study the aplicability, ...