- Formal Languages, Formally and Coinductively Dmitriy Traytel Tue 10 December 2024
- 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
- Bouncing Threads for Circular and Non-Wellfounded Proofs: Towards Compositionality with Circular Proofs David Baelde Amina Doumane Denis Kuperberg Alexis Saurin Mon 29 August 2022
- Checking NFA Equivalence with Bisimulations Up to Congruence Filippo Bonchi Damien Pous Sat 28 December 2013
- A tutorial on (co)algebras and (co)induction Bart Jacobs Jan Rutten Wed 25 April 2012
Library Size: 13G (6 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
