Newton series, coinductively: a comparative study of composition
From MaRDI portal
Publication:4559600
DOI10.1017/S0960129517000159zbMath1407.68317OpenAlexW2621742386WikidataQ60692304 ScholiaQ60692304MaRDI QIDQ4559600
Helle Hvid Hansen, Jean-Eric Pin, Henning Basold, Jan J. M. M. Rutten
Publication date: 4 December 2018
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129517000159
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The Newton transform: An operational method for constructing integrals of dynamical systems
- Universal coalgebra: A theory of systems
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- A proof of Moessner's theorem by coinduction
- A noncommutative extension of Mahler's theorem on interpolation series
- Coalgebraic Bisimulation-Up-To
- Process algebra for synchronous communication
- A coinductive calculus of streams
- Free differential calculus. IV: The quotient groups of the lower central series