Author Details

Maleković, Mirko, Fakultet organizacije i informatike, Varaždin, Croatia, Croatia

  • Vol 1, No 2 (1993) - Regular Papers
    Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System
    Abstract  PDF