Coinductive counting: bisimulation in enumerative combinatorics (Extended Abstract) (2002)

Cached

Download Links

by J. J. M. M. Rutten
Venue:L. MOSS (ED.), THE PROC. CMCS’02, ENTCS, VOL. 65, ELSEVIER SCIENCE B.V
Citations:1 - 1 self

Document Versions

Coinductive counting: bisimulation in enumerative combinatorics (Extended Abstract) –J. J. M. M. Rutten — 2002 — L. MOSS (ED.), THE PROC. CMCS’02, ENTCS, VOL. 65, ELSEVIER SCIENCE B.V