- Products, Polynomials and Differential Equations in the Stream Calculus Michele Boreale Luisa Collodi Daniele Gorla Fri 19 April 2024
- Bialgebras for structural operational semantics: An introduction Bartek Klin Tue 28 March 2023
- Automatic pre- and postconditions for partial differential equations Michele Boreale Sat 25 March 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 (5 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
