@article{ITA_1990__24_6_521_0, author = {Blanchet-Sadri, F.}, title = {On dot-depth two}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {521--529}, publisher = {EDP-Sciences}, volume = {24}, number = {6}, year = {1990}, mrnumber = {1082913}, zbl = {0718.68046}, language = {en}, url = {http://www.numdam.org/item/ITA_1990__24_6_521_0/} }
TY - JOUR AU - Blanchet-Sadri, F. TI - On dot-depth two JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1990 SP - 521 EP - 529 VL - 24 IS - 6 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1990__24_6_521_0/ LA - en ID - ITA_1990__24_6_521_0 ER -
Blanchet-Sadri, F. On dot-depth two. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 24 (1990) no. 6, pp. 521-529. http://www.numdam.org/item/ITA_1990__24_6_521_0/
1. The Dot-Depth Hierarchy of Star-Free Languages if Infinite, J. Comp. Sys. Sci., 1978, 16, pp. 37-55. | MR | Zbl
and ,2. Some Logical Characterizations of the Dot-Depth Hierarchy and Applications, Technical Report No. 88-03 of the Department of Mathematics and Statistics of McGill University, July 1988, pp. 1-44. | MR
,3. Games, Equations and the Dot-Depth Hierarchy, (preprint 1988 ), Computers and Mathematics with applications (à paraître). | MR | Zbl
,4. Dot-Depth of Star-Free Events, J. Comp. Sys. Sci., 1971, 5, pp. 1-16. | MR | Zbl
and ,5. An Application of Games to the Completeness Problem for Formalized Theories, Fund. Math., 1961, 49, pp. 129-141. | EuDML | MR | Zbl
,6. Automata, Languages and Machines, B, Academic Press, New York, 1976. | MR | Zbl
,7. A Mathematical Introduction to Logic, Academic Press, New York, 1972. | MR | Zbl
,8. Cours de logique mathématique, tome 2, Gauthier-Vîllars, Paris, 1972. | MR | Zbl
,9. Semigroups and Combinatorial Applications, Wiley, New York, 1979. | MR | Zbl
,10. Counter-Free Automata, M.I.T. Press, Cambridge, Mass., 1971. | MR | Zbl
and ,11. First-Order Logic and Star-Free Sets, J. Comp. Sys. Sci., 1986, 32, pp. 393-406. | MR | Zbl
and ,12. Variétés de langages formels, Masson, Paris, 1984. | MR | Zbl
,13. Hiérarchies de contaténation, R.A.I.R.O. Informatique Théorique, 1984, 18, pp. 23-46. | Numdam | MR | Zbl
,14. Linear Orderings, Academic Press, New York, 1982. | MR | Zbl
,15. On Finite Monoids having only Trivial Subgroups, Information and Control, 1965, 8, pp. 190-194. | MR | Zbl
,16. Piecewise Testable Events, Proc. 2nd GI Conference, Lectures Notes in Comput Sci., Springer Verlag, Berlin, 1975, 33, pp. 214-222. | MR | Zbl
,17. A Generalization of the Schützenberger Product of Finite Monoids, Theoretical Comput Sci., 1981, 13, pp. 137-150. | MR | Zbl
,18. Finite Semigroup Varieties of the Form V*D, J. of Pure and Applied Algebra, 1985, 36, pp. 53-94. | MR | Zbl
,19. Semigroups and Languages of Dot-Depth Two, Proc. 13th ICALP, Lecture Notes in Comput. Sci., Springer Verlag, New York, 1986, 226, pp. 416- 423. | MR | Zbl
,20. Classifying Regular Events in Symbolic Logic, J. Comp. Sys. Sci., 1982, 25, pp. 360-376. | MR | Zbl
,21. An Application of the Ehrenfeucht-Fraissé Game in Formal Language Theory, Bull. Soc. Math. de France, 2e série, Mémoire, 1984, No. 16, pp. 11-21. | Numdam | MR | Zbl
,22. Categories as Algebra, J. of Pure and Applied Algebra, 1987, 48, pp. 83-198. | MR | Zbl
,