On modularity in infinitary term rewriting (Q2496298)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On modularity in infinitary term rewriting
scientific article

    Statements

    On modularity in infinitary term rewriting (English)
    0 references
    12 July 2006
    0 references
    term rewriting
    0 references
    modularity
    0 references
    infinitary rewriting
    0 references
    strong convergence
    0 references
    Church-Rosser property
    0 references
    confluence
    0 references
    normalization
    0 references

    Identifiers