Metalevel transformation of strategies (Q2667189)

From MaRDI portal
Revision as of 02:34, 5 April 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q123905799, #quickstatements; #temporary_batch_1712272666262)
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 DE Number
    7432502
    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
    OpenAlex ID
    W3205045940
    0 references
    Wikidata QID
    Q123905799
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2667189&oldid=33248323"
    Powered by MediaWiki