Complete axiomatizations of some quotient term algebras (Q685393)

From MaRDI portal
Revision as of 01:59, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Complete axiomatizations of some quotient term algebras
scientific article

    Statements

    Complete axiomatizations of some quotient term algebras (English)
    0 references
    0 references
    20 April 1995
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    quasi-free theory
    0 references
    first-order theory
    0 references
    existential fragment of the theory of associative-commutative function symbols
    0 references