Language Equivalence from Nondeterministic to Weighted Automata - and Back.

Michele Boreale, Luisa Collodi

Browse the full ISoLA paper archive.