On the Existence of the Minimum Asynchronous Automaton and on Decision Problems for Unambiguous Regular Trace Languages.

Danilo Bruschi, Giovanni Pighizzini, Nicoletta Sabadini

Browse the full STACS paper archive.