Analyzing innermost runtime complexity of term rewriting by dependency pairs (Q2351155)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Analyzing innermost runtime complexity of term rewriting by dependency pairs
scientific article

    Statements

    Analyzing innermost runtime complexity of term rewriting by dependency pairs (English)
    0 references
    0 references
    0 references
    0 references
    23 June 2015
    0 references
    0 references
    complexity analysis
    0 references
    term rewriting
    0 references
    termination analysis
    0 references
    dependency pairs
    0 references
    0 references
    0 references