2007
Behavioural differential equations and coinduction for binary trees
Publication
Publication
Presented at the
Workshop on Logic, Language, Information and Computation
Additional Metadata | |
---|---|
Springer | |
D. Leivant (Daniël) , R. de Queiroz | |
Lecture Notes in Computer Science | |
Workshop on Logic, Language, Information and Computation | |
Organisation | Computer Security |
Silva, A.M, & Rutten, J.J.M.M. (2007). Behavioural differential equations and coinduction for binary trees. In D Leivant & R de Queiroz (Eds.), Proceedings of WoLLIC 2007 (pp. 322–336). Springer.
|