Boolean Combinations of ω-Rational Trace Languages: Emptiness, Rationality, Regularity.

Dietrich Kuske

Browse the full MFCS paper archive.