Q5389147 (Q5389147): Difference between revisions

From MaRDI portal
Newer edit →
Importer (talk | contribs)
Bots
7,029,193 edits
‎Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 02:04, 9 February 2024

scientific article; zbMATH DE number 6027902
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 6027902

    Statements

    author
    Samuel Mimram
    0 references
    publication date
    25 April 2012
    0 references
    zbMATH DE Number
    6027902
    0 references
    zbMATH Keywords
    rewriting system
    0 references
    polygraph
    0 references
    presentation of a category
    0 references
    critical pair
    0 references
    unification
    0 references
    confluence
    0 references
    compact 2-category
    0 references
    context
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5389147&oldid=20115808"
    Powered by MediaWiki