Operational Termination of Membership Equational Programs: the Order-Sorted Way (Q5179140)

From MaRDI portal
scientific article; zbMATH DE number 6416983
Language Label Description Also known as
English
Operational Termination of Membership Equational Programs: the Order-Sorted Way
scientific article; zbMATH DE number 6416983

    Statements

    Operational Termination of Membership Equational Programs: the Order-Sorted Way (English)
    0 references
    0 references
    0 references
    19 March 2015
    0 references
    term rewriting
    0 references
    program analysis
    0 references
    operational termination
    0 references
    membership equational logic
    0 references
    order-sorted equational logic
    0 references
    rewriting logic
    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