colloe expressiveness of equational type logic

V. Manca, A. Salibra, Giuseppe Scollo

    Research output: Contribution to journalArticleProfessional

    Original languageUndefined
    Pages (from-to)-
    Number of pages15
    JournalMemoranda informatica
    Volume1
    Issue number39
    Publication statusPublished - 1991

    Keywords

    • METIS-121769

    Cite this