Conditions for confluence of innermost terminating term rewriting systems (Q2321950)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Conditions for confluence of innermost terminating term rewriting systems
scientific article

    Statements

    Conditions for confluence of innermost terminating term rewriting systems (English)
    0 references
    0 references
    0 references
    0 references
    27 August 2019
    0 references
    confluence
    0 references
    innermost termination
    0 references
    term rewriting systems
    0 references
    decidability
    0 references
    0 references
    0 references
    0 references

    Identifiers