On algebraic specifications of computable algebras with the discriminator technique (Q3358246)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On algebraic specifications of computable algebras with the discriminator technique
scientific article

    Statements

    On algebraic specifications of computable algebras with the discriminator technique (English)
    0 references
    1990
    0 references
    0 references
    computable algebra
    0 references
    equational specification
    0 references
    discriminator
    0 references
    0 references