A coinductive calculus of binary trees

A. Silva, J.J.M.M. Rutten

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

We study the set T
Original languageEnglish
Pages (from-to)578-593
Number of pages15
JournalInformation and Computation
Volume208
Issue number5
DOIs
Publication statusPublished - 2010

Fingerprint Dive into the research topics of 'A coinductive calculus of binary trees'. Together they form a unique fingerprint.

Cite this