Types and Sorts: Resource Logic for Feature Checking

    Research output: Book/ReportBookAcademic

    Original languageUndefined
    Place of PublicationThe Hague
    PublisherHolland Academic Graphics
    Number of pages225
    ISBN (Print)90-5569-103-4
    Publication statusPublished - 1999

    Keywords

    • METIS-118824

    Cite this

    Heylen, D. K. J. (1999). Types and Sorts: Resource Logic for Feature Checking. The Hague: Holland Academic Graphics.
    Heylen, Dirk K.J. / Types and Sorts: Resource Logic for Feature Checking. The Hague : Holland Academic Graphics, 1999. 225 p.
    @book{b4df950d238c45088f85c0f68310328c,
    title = "Types and Sorts: Resource Logic for Feature Checking",
    keywords = "METIS-118824",
    author = "Heylen, {Dirk K.J.}",
    year = "1999",
    language = "Undefined",
    isbn = "90-5569-103-4",
    publisher = "Holland Academic Graphics",

    }

    Heylen, DKJ 1999, Types and Sorts: Resource Logic for Feature Checking. Holland Academic Graphics, The Hague.

    Types and Sorts: Resource Logic for Feature Checking. / Heylen, Dirk K.J.

    The Hague : Holland Academic Graphics, 1999. 225 p.

    Research output: Book/ReportBookAcademic

    TY - BOOK

    T1 - Types and Sorts: Resource Logic for Feature Checking

    AU - Heylen, Dirk K.J.

    PY - 1999

    Y1 - 1999

    KW - METIS-118824

    M3 - Book

    SN - 90-5569-103-4

    BT - Types and Sorts: Resource Logic for Feature Checking

    PB - Holland Academic Graphics

    CY - The Hague

    ER -

    Heylen DKJ. Types and Sorts: Resource Logic for Feature Checking. The Hague: Holland Academic Graphics, 1999. 225 p.