Elements of Stream Calculus (Q4917066): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 06:35, 8 February 2024

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