Generality of proofs and its Brauerian representation (Q3160565)

From MaRDI portal
Revision as of 10:57, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
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
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3160565&oldid=27538507"
    Powered by MediaWiki