On using ground joinable equations in equational theorem proving (Q1404987)

From MaRDI portal
Revision as of 16:22, 20 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
On using ground joinable equations in equational theorem proving
scientific article

    Statements

    On using ground joinable equations in equational theorem proving (English)
    0 references
    0 references
    0 references
    0 references
    25 August 2003
    0 references
    rewriting
    0 references
    completion
    0 references
    equational theorem proving
    0 references
    ground joinable equations
    0 references

    Identifiers