A coinductive calculus of binary trees

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

Research output: Contribution to Journal › Article › Academic › peer-review

Fingerprint

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

Computer Science