First-order logic and star-free sets
- 30 June 1986
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 32 (3) , 393-406
- https://doi.org/10.1016/0022-0000(86)90037-1
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Finite semigroup varieties of the form V ∗ DJournal of Pure and Applied Algebra, 1985
- Classifying regular events in symbolic logicJournal of Computer and System Sciences, 1982
- Ensembles reconnaissables de mots biinfinisPublished by Association for Computing Machinery (ACM) ,1982
- Star-free regular sets of ω-sequencesInformation and Control, 1979
- The dot-depth hierarchy of star-free languages is infiniteJournal of Computer and System Sciences, 1978