Sciweavers

78
Voted
ENTCS
2002
85views more  ENTCS 2002»

Coinductive Counting: Bisimulation in Enumerative Combinatorics

15 years 2 months ago
Coinductive Counting: Bisimulation in Enumerative Combinatorics
Jan J. M. M. Rutten
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2002
Where ENTCS
Authors Jan J. M. M. Rutten
Comments (0)