Disjointness, Inclusion, and Regularity of mega-Rational Trace Languages - Extended Abstract -.

Dietrich Kuske

Browse the full FCT paper archive.