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.