Unambiguous Separators for Tropical Tree Automata.

Thomas Colcombet, Sylvain Lombardy

Browse the full STACS paper archive.