Coinductive counting: bisimulation in enumerative combinatorics (Extended Abstract) (2002)
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 |







