Confluence of orthogonal term rewriting systems in the prototype verification system (Q2362205)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Confluence of orthogonal term rewriting systems in the prototype verification system
scientific article

    Statements

    Confluence of orthogonal term rewriting systems in the prototype verification system (English)
    0 references
    6 July 2017
    0 references
    0 references
    0 references
    0 references
    0 references
    term rewriting system
    0 references
    confluence
    0 references
    orthogonality
    0 references
    left-linearity
    0 references
    non-ambiguity
    0 references
    critical pairs
    0 references
    non-termination
    0 references
    0 references