Completion for rewriting modulo a congruence (Q1262752)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Completion for rewriting modulo a congruence
scientific article

    Statements

    Completion for rewriting modulo a congruence (English)
    0 references
    0 references
    0 references
    1989
    0 references
    See the review in Zbl 0659.68114.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    completion
    0 references
    rewriting modulo a congruence
    0 references
    equational inference
    0 references
    reasoning
    0 references
    0 references