Generator induction in order sorted algebras (Q749219)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Generator induction in order sorted algebras
scientific article

    Statements

    Generator induction in order sorted algebras (English)
    0 references
    0 references
    0 references
    0 references
    1991
    0 references
    0 references
    algebraic specification
    0 references
    functional programming
    0 references
    order sorted algebras
    0 references
    generator induction
    0 references
    0 references