A scalable module system (Q391632)

From MaRDI portal
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
    cites work
    Q2769045
    0 references
    Q4052071
    0 references
    Q3666260
    0 references
    Q2722016
    0 references
    Q5565097
    0 references
    Q4104968
    0 references
    Q4471939
    0 references
    Q4222853
    0 references
    Q5610115
    0 references
    Q2752048
    0 references
    Q4099613
    0 references
    Q3122694
    0 references
    Q5287513
    0 references
    Q4023900
    0 references
    Q4215784
    0 references

    Identifiers

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