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
Structures for abstract rewriting - MaRDI portal

Structures for abstract rewriting (Q2642463)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Structures for abstract rewriting
scientific article

    Statements

    title
    Structures for abstract rewriting (English)
    0 references
    author
    Marc Aiguier
    0 references
    Diane Bahrami
    0 references
    publication date
    17 August 2007
    0 references
    zbMATH Keywords
    rewrite system
    0 references
    abstract rewriting
    0 references
    axiomatization
    0 references
    abstract deduction procedure
    0 references
    abstract completion procedure
    0 references
    cites work
    Q4808705
    0 references
    Q4000281
    0 references
    Q3427354
    0 references
    Q3714165
    0 references
    Q4036569
    0 references
    Q4012174
    0 references
    Q4385532
    0 references
    Q3819993
    0 references
    Q3824395
    0 references
    Q3028369
    0 references
    Q5581665
    0 references
    Bi-rewrite systems
    0 references
    Q4936122
    0 references
    Q3032225
    0 references
    Q4222989
    0 references
    Q4250366
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B35
    0 references
    68Q42
    0 references
    68T15
    0 references
    zbMATH DE Number
    5179882
    0 references
    OpenAlex ID
    W2072206537
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2642463&oldid=34985112"
    Powered by MediaWiki