Improving rewriting induction approach for proving ground confluence (Q5111302)

From MaRDI portal
scientific article; zbMATH DE number 7204426
Language Label Description Also known as
English
Improving rewriting induction approach for proving ground confluence
scientific article; zbMATH DE number 7204426

    Statements

    0 references
    0 references
    0 references
    26 May 2020
    0 references
    ground confluence
    0 references
    rewriting induction
    0 references
    non-orientable equations
    0 references
    term-rewriting systems
    0 references
    Improving rewriting induction approach for proving ground confluence (English)
    0 references

    Identifiers