Extending Bachmair's method for proof by consistency to the final algebra (Q1336767)

From MaRDI portal
Revision as of 00:35, 19 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
Extending Bachmair's method for proof by consistency to the final algebra
scientific article

    Statements

    Extending Bachmair's method for proof by consistency to the final algebra (English)
    0 references
    0 references
    18 October 1995
    0 references
    abstract data types
    0 references
    Bachmair's method
    0 references

    Identifiers