A scalable module system (Q391632)

From MaRDI portal
Revision as of 00:09, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
A scalable module system
scientific article

    Statements

    title
    A scalable module system (English)
    0 references
    author
    Florian Rabe
    0 references
    Michael Kohlhase
    0 references
    publication date
    10 January 2014
    0 references
    describes a project that uses
    Maude
    0 references
    Isabelle
    0 references
    Mizar
    0 references
    Hets
    0 references
    Locales
    0 references
    CASL
    0 references
    Twelf
    0 references
    Automath
    0 references
    OMDoc
    0 references
    TNTBase
    0 references
    IMPS
    0 references
    MathML
    0 references
    Coq
    0 references
    MAYA
    0 references
    PVS
    0 references
    TPTP
    0 references
    OBJ3
    0 references
    SCSCP
    0 references
    QMT
    0 references
    MMT
    0 references
    STEXIDE
    0 references
    LATIN
    0 references

    Identifiers

    zbMATH DE Number
    6244343
    0 references
    Wikidata QID
    Q57389341
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q391632&oldid=25554539"
    Powered by MediaWiki