Higher order logic representation of OO Database schemas

H. Balsters, D. Spelt

    Research output: Book/ReportReportProfessional

    Original languageUndefined
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages12
    Publication statusPublished - 1996

    Publication series

    NameCTIT Technical report Series
    No.96-15
    ISSN (Print)1381-3625

    Keywords

    • METIS-122009

    Cite this