Coinductive Counting: Bisimulation in Enumerative Combinatorics

Jan J. M. M. Rutten. Coinductive Counting: Bisimulation in Enumerative Combinatorics. Electronic Notes in Theoretical Computer Science, 65(1):286-304, 2002. [doi]

Abstract

Abstract is missing.