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
Generality of proofs and its Brauerian representation - MaRDI portal

Generality of proofs and its Brauerian representation (Q3160565)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Generality of proofs and its Brauerian representation
scientific article

    Statements

    title
    Generality of proofs and its Brauerian representation (English)
    0 references
    author
    Kosta Došen
    0 references
    Zoran Petrić
    0 references
    publication date
    9 February 2005
    0 references
    Mathematics Subject Classification ID
    03F07
    0 references
    03G30
    0 references
    16G99
    0 references
    zbMATH DE Number
    2133198
    0 references
    zbMATH Keywords
    identity criteria for proofs
    0 references
    Brauer algebra
    0 references
    generality of derivations
    0 references
    categorical proof theory
    0 references
    OpenAlex ID
    W2050701211
    0 references
    arXiv ID
    math/0211090
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3160565&oldid=34380034"
    Powered by MediaWiki