Efficient Algorithms for Membership in Boolean Hierarchies of Regular Languages.

Christian Glaer, Heinz Schmitz, Victor L. Selivanov

Browse the full STACS paper archive.