Free inductive \(K\)-semialgebras (Q383784)

From MaRDI portal
Revision as of 03:14, 12 February 2024 by RedirectionBot (talk | contribs) (‎Removed claims)
scientific article
Language Label Description Also known as
English
Free inductive \(K\)-semialgebras
scientific article

    Statements

    Free inductive \(K\)-semialgebras (English)
    0 references
    0 references
    6 December 2013
    0 references
    rational power series
    0 references
    complete axiomatization
    0 references
    fixed point induction
    0 references
    inductive semiring
    0 references

    Identifiers