Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics (Q4847312)

From MaRDI portal





scientific article; zbMATH DE number 798804
Language Label Description Also known as
English
Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics
scientific article; zbMATH DE number 798804

    Statements

    Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics (English)
    0 references
    0 references
    0 references
    17 February 1997
    0 references
    positive Horn formulas
    0 references
    algebraic specifications
    0 references
    0 references
    0 references

    Identifiers