Generic Partition Refinement and Weighted Tree Automata.

Hans-Peter Deifel, Stefan Milius, Lutz Schrder, Thorsten Wimann

Browse the full FM paper archive.