Coinductive Counting with Weighted Automata

Jan J. M. M. Rutten. Coinductive Counting with Weighted Automata. Journal of Automata, Languages and Combinatorics, 8(2):319-352, 2003.

Abstract

Abstract is missing.