"An Efficient Best-Trees Algorithm for Weighted Tree Automata over the ..."

Johanna Björklund, Frank Drewes, Niklas Zechner (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics