From diagrammatic confluence to modularity (Q1929228)

From MaRDI portal
scientific article
Language Label Description Also known as
English
From diagrammatic confluence to modularity
scientific article

    Statements

    From diagrammatic confluence to modularity (English)
    0 references
    0 references
    0 references
    7 January 2013
    0 references
    rewriting modulo
    0 references
    confluence
    0 references
    local peaks
    0 references
    local cliffs
    0 references
    decreasing diagrams
    0 references
    cofinal derivations
    0 references
    modularity
    0 references

    Identifiers