Elements of Stream Calculus (Q4917066)

From MaRDI portal
Revision as of 11:08, 13 November 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 6158661
Language Label Description Also known as
English
Elements of Stream Calculus
scientific article; zbMATH DE number 6158661

    Statements

    Elements of Stream Calculus (English)
    0 references
    0 references
    26 April 2013
    0 references
    coinduction
    0 references
    coalgebra
    0 references
    finality
    0 references
    stream
    0 references
    derivative
    0 references
    differential equation
    0 references
    difference equation
    0 references
    Euler formula
    0 references
    counting
    0 references
    formal power series
    0 references
    weighted automaton
    0 references

    Identifiers