Relating CASL with other specification languages: the institution level. (Q1853458)

From MaRDI portal
Revision as of 10:25, 5 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Relating CASL with other specification languages: the institution level.
scientific article

    Statements

    Relating CASL with other specification languages: the institution level. (English)
    0 references
    0 references
    21 January 2003
    0 references
    Specification languages
    0 references
    Institutions
    0 references
    Logics
    0 references
    Translations of logics
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers