Behavioural Differential Equations and Coinduction for Binary Trees.

Alexandra Silva Jan J. M. M. Rutten

Published in: WoLLIC (2007)

Keyphrases

differential equations
binary trees
dynamical systems
series parallel
ordinary differential equations
numerical solution
hash tables
boundary value problem
partial differential equations
numerical methods
np hard