Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Integrating Maude into Hets - MaRDI portal

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