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
Implementing term rewriting by jungle evaluation - MaRDI portal

Implementing term rewriting by jungle evaluation (Q3486867)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Implementing term rewriting by jungle evaluation
scientific article

    Statements

    title
    Implementing term rewriting by jungle evaluation (English)
    0 references
    author
    Berthold Hoffmann
    0 references
    Detlef Plump
    0 references
    publication date
    1991
    0 references
    Mathematics Subject Classification ID
    68Q42
    0 references
    68Q45
    0 references
    68Q55
    0 references
    68N01
    0 references
    zbMATH DE Number
    4160139
    0 references
    zbMATH Keywords
    graph grammars
    0 references
    term rewriting
    0 references
    termination
    0 references
    confluence
    0 references
    OpenAlex ID
    W158097575
    0 references
    cites work
    Q4385532
    0 references
    Q4194478
    0 references
    Q3673130
    0 references
    Q4127402
    0 references
    Q3811685
    0 references
    Q3490954
    0 references
    Q4038704
    0 references
    Q3785912
    0 references
    Q4037331
    0 references
    On graph rewritings
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3486867&oldid=34829564"
    Powered by MediaWiki