On dot-depth two
Blanchet-Sadri, F.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 24 (1990), p. 521-529 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU) 
@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},
     volume = {24},
     year = {1990},
     pages = {521-529},
     mrnumber = {1082913},
     zbl = {0718.68046},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1990__24_6_521_0}
}

Blanchet-Sadri, F. On dot-depth two. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 24 (1990) pp. 521-529. http://gdmltest.u-ga.fr/item/ITA_1990__24_6_521_0/

1. J. A. Brzozowski and R. Knast, The Dot-Depth Hierarchy of Star-Free Languages if Infinite, J. Comp. Sys. Sci., 1978, 16, pp. 37-55. | MR 471451 | Zbl 0368.68074

2. F. Blanchet-Sadri, 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 2685431

3. F. Blanchet-Sadri, Games, Equations and the Dot-Depth Hierarchy, (preprint 1988 ), Computers and Mathematics with applications (à paraître). | MR 1008808 | Zbl 0682.03015

4. R. S. Cohen and J. A. Brzozowski, Dot-Depth of Star-Free Events, J. Comp. Sys. Sci., 1971, 5, pp. 1-16. | MR 309676 | Zbl 0217.29602

5. A. Ehrenfeucht, An Application of Games to the Completeness Problem for Formalized Theories, Fund. Math., 1961, 49, pp. 129-141. | MR 126370 | Zbl 0096.24303

6. S. Eilenberg, Automata, Languages and Machines, B, Academic Press, New York, 1976. | MR 530383 | Zbl 0359.94067

7. H. B. Enderton, A Mathematical Introduction to Logic, Academic Press, New York, 1972. | MR 337470 | Zbl 0298.02002

8. R. Fraissé, Cours de logique mathématique, tome 2, Gauthier-Vîllars, Paris, 1972. | MR 345783 | MR 446871 | Zbl 0247.02003

9. G. Lallement, Semigroups and Combinatorial Applications, Wiley, New York, 1979. | MR 530552 | Zbl 0421.20025

10. R. Mcnaughton and S. Papert, Counter-Free Automata, M.I.T. Press, Cambridge, Mass., 1971. | MR 371538 | Zbl 0232.94024

11. D. Perrin and J. E. Pin, First-Order Logic and Star-Free Sets, J. Comp. Sys. Sci., 1986, 32, pp. 393-406. | MR 858236 | Zbl 0618.03015

12. J. E. Pin, Variétés de langages formels, Masson, Paris, 1984. | MR 752695 | Zbl 0636.68093

13. J. E. Pin, Hiérarchies de contaténation, R.A.I.R.O. Informatique Théorique, 1984, 18, pp. 23-46. | Numdam | MR 750449 | Zbl 0559.68062

14. J. G. Rosenstein, Linear Orderings, Academic Press, New York, 1982. | MR 662564 | Zbl 0488.04002

15. M. P. Schützenberger, On Finite Monoids having only Trivial Subgroups, Information and Control, 1965, 8, pp. 190-194. | MR 176883 | Zbl 0131.02001

16. I. Simon, Piecewise Testable Events, Proc. 2nd GI Conference, Lectures Notes in Comput Sci., Springer Verlag, Berlin, 1975, 33, pp. 214-222. | MR 427498 | Zbl 0316.68034

17. H. Straubing, A Generalization of the Schützenberger Product of Finite Monoids, Theoretical Comput Sci., 1981, 13, pp. 137-150. | MR 594057 | Zbl 0456.20048

18. H. Straubing, Finite Semigroup Varieties of the Form V*D, J. of Pure and Applied Algebra, 1985, 36, pp. 53-94. | MR 782639 | Zbl 0561.20042

19. H. Straubing, 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 864704 | Zbl 0596.68056

20. W. Thomas, Classifying Regular Events in Symbolic Logic, J. Comp. Sys. Sci., 1982, 25, pp. 360-376. | MR 684265 | Zbl 0503.68055

21. W. Thomas, 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 792490 | Zbl 0558.68064

22. B. Tilson, Categories as Algebra, J. of Pure and Applied Algebra, 1987, 48, pp. 83-198. | MR 915990 | Zbl 0627.20031