First-order logic and star-free sets

Classifying regular events in symbolic logic

Wolfgang Thomas · Journal of Computer and System Sciences · 1982 · 337 citations

Computing, Computer Science, Mathematics +13

Finite semigroup varieties of the form V ∗ D

Howard Straubing · Journal of Pure and Applied Algebra · 1985 · 221 citations

Natural Sciences, Computer Systems, Dynamical Systems +3

The dot-depth hierarchy of star-free languages is infinite

Janusz Brzozowski, Robert Knast · Journal of Computer and System Sciences · 1978 · 142 citations

Computing, Computer Science, Mathematics +6

Star-free regular sets of ω-sequences

Wolfgang Thomas · Information and Control · 1979 · 95 citations

Natural Sciences, Mathematics, Combinatorics +5

Mathematical foundations of computer science 1984

Computer-Aided Design · 1985 · 69 citations

Computing, Computer Science, Mathematics +4