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

From MaRDI portal
Revision as of 03:58, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
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