Efficient enumeration of weighted tree languages over the tropical semiring.

Published in: J. Comput. Syst. Sci. (2019)

Keyphrases