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
Optimization of rewrite theories by equational partial evaluation - MaRDI portal

Optimization of rewrite theories by equational partial evaluation (Q2667190)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Optimization of rewrite theories by equational partial evaluation
scientific article

    Statements

    title
    Optimization of rewrite theories by equational partial evaluation (English)
    0 references
    author
    María Alpuente
    0 references
    Santiago Escobar
    0 references
    Julia Sapiña
    0 references
    Demis Ballis
    0 references
    publication date
    24 November 2021
    0 references
    describes a project that uses
    GLINTS
    0 references
    Maude
    0 references
    Maude-NPA
    0 references
    ACUOS2
    0 references
    ECCE
    0 references
    MTT
    0 references
    cites work
    Q4217931
    0 references
    Q4413065
    0 references
    Q4364365
    0 references
    Q5287559
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q42
    0 references
    68N19
    0 references
    68Q85
    0 references
    zbMATH DE Number
    7432503
    0 references
    OpenAlex ID
    W3207121611
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2667190&oldid=39388236"
    Powered by MediaWiki