Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Space optimization in deductive databases


    Contributors:


    Publication date :

    1991


    Size :

    36 S.


    Remarks:

    Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek


    Type of media :

    Book


    Type of material :

    Print


    Language :

    English




    Deductive Verification of Railway Operations

    Kamburjan, Eduard / Hähnle, Reiner | British Library Conference Proceedings | 2017


    Towards a Deductive Object-Oriented System

    Yoon, S.-C. / Ku, C. S. | British Library Online Contents | 1998


    Automated Deductive Verification of Parallel Systems

    Saidi, H. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1997


    Software Safety Analysis: Inductive Methods vs. Deductive Methods

    Guthrie, V. / Schoolcraft, S. / Parikh, P. et al. | British Library Conference Proceedings | 2000