Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages

von Klin, Bartek
Veröffentlicht in FOSSACS (24. : 2021 : Online) Foundations of software science and computation structures (2021)