@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},
year = {1990},
publisher = {EDP Sciences},
volume = {24},
number = {6},
mrnumber = {1082913},
zbl = {0718.68046},
language = {en},
url = {https://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 - https://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. https://www.numdam.org/item/ITA_1990__24_6_521_0/
1. and , The Dot-Depth Hierarchy of Star-Free Languages if Infinite, J. Comp. Sys. Sci., 1978, 16, pp. 37-55. | Zbl | MR
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). | Zbl | MR
4. and , Dot-Depth of Star-Free Events, J. Comp. Sys. Sci., 1971, 5, pp. 1-16. | Zbl | MR
5. , An Application of Games to the Completeness Problem for Formalized Theories, Fund. Math., 1961, 49, pp. 129-141. | Zbl | MR | EuDML
6. , Automata, Languages and Machines, B, Academic Press, New York, 1976. | Zbl | MR
7. , A Mathematical Introduction to Logic, Academic Press, New York, 1972. | Zbl | MR
8. , Cours de logique mathématique, tome 2, Gauthier-Vîllars, Paris, 1972. | Zbl | MR
9. , Semigroups and Combinatorial Applications, Wiley, New York, 1979. | Zbl | MR
10. and , Counter-Free Automata, M.I.T. Press, Cambridge, Mass., 1971. | Zbl | MR
11. and , First-Order Logic and Star-Free Sets, J. Comp. Sys. Sci., 1986, 32, pp. 393-406. | Zbl | MR
12. , Variétés de langages formels, Masson, Paris, 1984. | Zbl | MR
13. , Hiérarchies de contaténation, R.A.I.R.O. Informatique Théorique, 1984, 18, pp. 23-46. | Zbl | MR | Numdam
14. , Linear Orderings, Academic Press, New York, 1982. | Zbl | MR
15. , On Finite Monoids having only Trivial Subgroups, Information and Control, 1965, 8, pp. 190-194. | Zbl | MR
16. , Piecewise Testable Events, Proc. 2nd GI Conference, Lectures Notes in Comput Sci., Springer Verlag, Berlin, 1975, 33, pp. 214-222. | Zbl | MR
17. , A Generalization of the Schützenberger Product of Finite Monoids, Theoretical Comput Sci., 1981, 13, pp. 137-150. | Zbl | MR
18. , Finite Semigroup Varieties of the Form V*D, J. of Pure and Applied Algebra, 1985, 36, pp. 53-94. | Zbl | MR
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. | Zbl | MR
20. , Classifying Regular Events in Symbolic Logic, J. Comp. Sys. Sci., 1982, 25, pp. 360-376. | Zbl | MR
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. | Zbl | MR | Numdam
22. , Categories as Algebra, J. of Pure and Applied Algebra, 1987, 48, pp. 83-198. | Zbl | MR





