- A First Look at Differential Algebra John H. Hubbard Benjamin E. Lundell Mon 08 May 2023
- Elements of Stream Calculus: (An Extensive Exercise in Coinduction) J.J.M.M. Rutten Sat 25 March 2023
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series J. J. M. M. Rutten Sat 25 March 2023
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
