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
Exact Unification and Admissibility - MaRDI portal

Exact Unification and Admissibility (Q3196355)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Exact Unification and Admissibility
scientific article

    Statements

    title
    Exact Unification and Admissibility (English)
    0 references
    author
    George Metcalfe
    0 references
    Leonardo Manuel Cabrer
    0 references
    publication date
    29 October 2015
    0 references
    zbMATH Keywords
    unification
    0 references
    admissibility
    0 references
    equational class
    0 references
    free algebra
    0 references

    Identifiers

    Mathematics Subject Classification ID
    08B05
    0 references
    03G25
    0 references
    06D30
    0 references
    06D15
    0 references
    08B20
    0 references
    zbMATH DE Number
    6501870
    0 references
    arXiv ID
    1410.5583
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3196355&oldid=33609482"
    Powered by MediaWiki