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

From MaRDI portal
Revision as of 01:57, 14 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
    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

    Identifiers