Minimisation of Multiplicity Tree Automata.

Stefan Kiefer, Ines Marusic, James Worrell

Browse the full FOSSACS paper archive.