Pages that link to "Item:Q3612670"
From MaRDI portal
The following pages link to Behavioural Differential Equations and Coinduction for Binary Trees (Q3612670):
Displaying 7 items.
- Complete sets of cooperations (Q618169) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series (Q1884876) (← links)
- Observational coalgebras and complete sets of co-operations (Q2873667) (← links)
- Bisimulations Generated from Corecursive Equations (Q3178257) (← links)
- Continuous Additive Algebras and Injective Simulations of Synchronization Trees (Q4542239) (← links)
- Behavioral Rewrite Systems and Behavioral Productivity (Q5403074) (← links)