Coinductive Counting: Bisimulation in Enumerative Combinatorics.

Jan J. M. M. Rutten

Published in: CMCS (2002)

Keyphrases

integer programming
graph theory
bayesian networks
xml documents
state space
domain specific