A coinductive calculus of binary trees

A. Silva; J.J.M.M. Rutten

doi:10.1016/j.ic.2008.08.006

A coinductive calculus of binary trees

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

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

Abstract

We study the set T

Original language	English
Pages (from-to)	578-593
Number of pages	15
Journal	Information and Computation
Volume	208
Issue number	5
DOIs	https://doi.org/10.1016/j.ic.2008.08.006
Publication status	Published - 2010

Access to Document

10.1016/j.ic.2008.08.006

Persistent URL (handle)

Persistent link

Cite this

@article{7adbc1c9602d4b499d1399bffeff053c,

title = "A coinductive calculus of binary trees",

abstract = "We study the set T",

author = "A. Silva and J.J.M.M. Rutten",

year = "2010",

doi = "10.1016/j.ic.2008.08.006",

language = "English",

volume = "208",

pages = "578--593",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier Inc.",

number = "5",

}

TY - JOUR

T1 - A coinductive calculus of binary trees

AU - Silva, A.

AU - Rutten, J.J.M.M.

PY - 2010

Y1 - 2010

N2 - We study the set T

AB - We study the set T

UR - https://www.scopus.com/pages/publications/77249158290

UR - https://www.scopus.com/inward/citedby.url?scp=77249158290&partnerID=8YFLogxK

U2 - 10.1016/j.ic.2008.08.006

DO - 10.1016/j.ic.2008.08.006

M3 - Article

SN - 0890-5401

VL - 208

SP - 578

EP - 593

JO - Information and Computation

JF - Information and Computation

IS - 5

ER -

A coinductive calculus of binary trees

Abstract

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this