Size-based termination of higher-order rewriting (Q4577817)

From MaRDI portal
scientific article; zbMATH DE number 6913646
Language Label Description Also known as
English
Size-based termination of higher-order rewriting
scientific article; zbMATH DE number 6913646

    Statements

    Size-based termination of higher-order rewriting (English)
    0 references
    0 references
    3 August 2018
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers