Induction for termination with local strategies (Q2841240)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Induction for termination with local strategies
scientific article

    Statements

    Induction for termination with local strategies (English)
    0 references
    0 references
    0 references
    0 references
    24 July 2013
    0 references
    rewriting
    0 references
    termination
    0 references
    local strategy on operators
    0 references
    rule-based languages
    0 references
    induction
    0 references
    narrowing
    0 references
    ordering constraints
    0 references
    0 references
    0 references
    0 references

    Identifiers