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
Backward Trace Slicing for Conditional Rewrite Theories - MaRDI portal

Backward Trace Slicing for Conditional Rewrite Theories (Q2891440)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Backward Trace Slicing for Conditional Rewrite Theories
scientific article

    Statements

    title
    Backward Trace Slicing for Conditional Rewrite Theories (English)
    0 references
    author
    Daniel M. Romero
    0 references
    María Alpuente
    0 references
    Demis Ballis
    0 references
    Francisco Frechina
    0 references
    publication date
    15 June 2012
    0 references
    describes a project that uses
    Web-TLR
    0 references
    Freja
    0 references
    Hat
    0 references
    Hood
    0 references
    Maude
    0 references
    ChC 3
    0 references

    Identifiers

    zbMATH DE Number
    6046603
    0 references
    Wikidata QID
    Q57978144
    0 references
    OpenAlex ID
    W6837106
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2891440&oldid=32658093"
    Powered by MediaWiki