Elements of Stream Calculus (Q4917066): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Q265783 / rank | |||
Property / author | |||
Property / author: Jan J. M. M. Rutten / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992552 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4375247 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5574850 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3994777 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Derivatives of Regular Expressions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4769056 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5639639 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatorial aspects of continued fractions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4320535 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4355684 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generating power of lazy semantics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The music of streams / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Germs and their Operational Calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A calculus of communicating systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992568 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4938650 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Behavioural differential equations: a coinductive calculus of streams, automata, and power series / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Universal coalgebra: A theory of systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the bisimulation proof method / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4080636 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5647412 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4324964 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:22, 6 July 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
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
0 references