Integrating Maude into Hets (Q3067467)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Integrating Maude into Hets
scientific article

    Statements

    title
    Integrating Maude into Hets (English)
    0 references
    author
    Mihai Codescu
    0 references
    Till Mossakowski
    0 references
    Adrián Riesco
    0 references
    Christian Maeder
    0 references
    publication date
    21 January 2011
    0 references
    zbMATH Keywords
    heterogeneous specifications
    0 references
    rewriting logic
    0 references
    institution
    0 references
    Maude
    0 references
    Casl
    0 references
    describes a project that uses
    IsaPlanner
    0 references
    CASL
    0 references
    CafeOBJ
    0 references
    Hets
    0 references
    MTT
    0 references
    CRC 3
    0 references
    ITP
    0 references
    Maude
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q65
    0 references
    68Q42
    0 references
    68Q60
    0 references
    zbMATH DE Number
    5839821
    0 references
    OpenAlex ID
    W1552648346
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3067467&oldid=35210263"
    Powered by MediaWiki