Coinductive counting: bisimulation in enumerative combinatorics

J.J.M.M. Rutten

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

Original language	English
Journal	Electronic Notes in Theoretical Computer Science
Volume	65
DOIs	https://doi.org/10.1016/s1571-0661(04)80369-4
Publication status	Published - 2002

Rut02d
Proceedings title: Proceedings of CMCS 2002
Publisher: Elsevier

Access to Document

@article{8ddcac009e484d2d93c29ba3dfb73fc3,

title = "Coinductive counting: bisimulation in enumerative combinatorics",

author = "J.J.M.M. Rutten",

note = "Rut02d Proceedings title: Proceedings of CMCS 2002 Publisher: Elsevier",

year = "2002",

doi = "10.1016/s1571-0661(04)80369-4",

language = "English",

volume = "65",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

}

TY - JOUR

T1 - Coinductive counting: bisimulation in enumerative combinatorics

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

N1 - Rut02d Proceedings title: Proceedings of CMCS 2002 Publisher: Elsevier

PY - 2002

Y1 - 2002

U2 - 10.1016/s1571-0661(04)80369-4

DO - 10.1016/s1571-0661(04)80369-4

M3 - Article

SN - 1571-0661

VL - 65

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -