Completion for rewriting modulo a congruence (Q1262752)

From MaRDI portal
Revision as of 10:40, 20 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
    completion
    0 references
    rewriting modulo a congruence
    0 references
    equational inference
    0 references
    reasoning
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references