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
Metalevel transformation of strategies - MaRDI portal

Metalevel transformation of strategies (Q2667189)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Metalevel transformation of strategies
scientific article

    Statements

    title
    Metalevel transformation of strategies (English)
    0 references
    author
    Rubén Rubio
    0 references
    Narciso Martí-Oliet
    0 references
    Isabel Pita
    0 references
    Alberto Verdejo
    0 references
    publication date
    24 November 2021
    0 references
    zbMATH Keywords
    Maude
    0 references
    rewriting strategies
    0 references
    reflection
    0 references
    model checking
    0 references
    describes a project that uses
    Tom
    0 references
    Stratego
    0 references
    Maude
    0 references
    LTSmin
    0 references
    ORME
    0 references
    cites work
    Q3336675
    0 references
    Q2844063
    0 references
    Q2851053
    0 references
    Q4222857
    0 references
    Q5089038
    0 references

    Identifiers

    zbMATH DE Number
    7432502
    0 references
    OpenAlex ID
    W3205045940
    0 references
    Wikidata QID
    Q123905799
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2667189&oldid=39388235"
    Powered by MediaWiki