university website Publications by Year
  • sign in
  • Computer Security /
  • Lecture Notes in Computer Science /
  • In Proceedings
  • Search

A.M. Silva (Alexandra) and J.J.M.M. Rutten (Jan)

2007

Behavioural differential equations and coinduction for binary trees

Publication

Publication

Presented at the Workshop on Logic, Language, Information and Computation

Additional Metadata
THEME Software (theme 1)
Publisher Springer
Editor D. Leivant (Daniël) , R. de Queiroz
Series Lecture Notes in Computer Science
Conference Workshop on Logic, Language, Information and Computation
Organisation Computer Security
Citation
APA Style
  • AAA Style
  • APA Style
  • Cell Style
  • Chicago Style
  • Harvard Style
  • IEEE Style
  • MLA Style
  • Nature Style
  • Vancouver Style
  • American-Institute-of-Physics Style
  • Council-of-Science-Editors Style
  • BibTex Format
  • Endnote Format
  • RIS Format
  • CSL Format
  • DOIs only Format
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.

See Also
techReport
Behavioural differential equations and coinduction for binary trees
A.M. Silva (Alexandra) and J.J.M.M. Rutten (Jan)
techReport
Behavioural differential equations and coinduction for binary trees
A.M. Silva (Alexandra) and J.J.M.M. Rutten (Jan)
techReport
Behavioural differential equations and coinduction for binary trees
A.M. Silva (Alexandra) and J.J.M.M. Rutten (Jan)

university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • Publishing at CWI

    • Open Science Portal
    • Submit Your CWI Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close