Normal forms and normal theories in conditional rewriting (Q730473)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Normal forms and normal theories in conditional rewriting
scientific article

    Statements

    Normal forms and normal theories in conditional rewriting (English)
    0 references
    0 references
    0 references
    28 December 2016
    0 references
    0 references
    conditional term rewriting
    0 references
    normal forms
    0 references
    normal theory
    0 references
    operational termination
    0 references
    rewriting logic
    0 references
    Maude
    0 references
    0 references
    0 references
    0 references
    0 references