Proving operational termination of membership equational programs (Q2271899)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Proving operational termination of membership equational programs
scientific article

    Statements

    Proving operational termination of membership equational programs (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    4 August 2009
    0 references
    0 references
    0 references
    0 references
    0 references
    conditional term rewriting
    0 references
    operational termination
    0 references
    program transformation
    0 references
    declarative rule-based languages
    0 references
    membership equational 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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references