Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages.

Bartek Klin, Slawomir Lasota, Szymon Torunczyk

Browse the full FOSSACS paper archive.