EDP Sciences logo
Subscriber Authentication Point
Search
Menu
All issues Volume 24 / No 6 (1990) RAIRO-Theor. Inf. Appl., 24 6 (1990) 521-529 References
Free Access
Issue
RAIRO-Theor. Inf. Appl.
Volume 24, Number 6, 1990
Page(s) 521 - 529
DOI https://doi.org/10.1051/ita/1990240605211
Published online 01 February 2017
  1. 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] [Google Scholar]
  2. 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] [Google Scholar]
  3. 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] [Google Scholar]
  4. 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] [Google Scholar]
  5. 5. A. EHRENFEUCHT, An Application of Games to the Completeness Problem for Formalized Theories, Fund. Math., 1961, 49, pp. 129-141. [EuDML: 213582] [MR: 126370] [Zbl: 0096.24303] [Google Scholar]
  6. 6. S. EILENBERG, Automata, Languages and Machines, B, Academic Press, New York, 1976. [MR: 530383] [Zbl: 0359.94067] [Google Scholar]
  7. 7. H. B. ENDERTON, A Mathematical Introduction to Logic, Academic Press, New York, 1972. [MR: 337470] [Zbl: 0298.02002] [Google Scholar]
  8. 8. R. FRAISSÉ, Cours de logique mathématique, tome 2, Gauthier-Vîllars, Paris, 1972. [MR: 446871] [Zbl: 0247.02003] [Google Scholar]
  9. 9. G. LALLEMENT, Semigroups and Combinatorial Applications, Wiley, New York, 1979. [MR: 530552] [Zbl: 0421.20025] [Google Scholar]
  10. 10. R. MCNAUGHTON and S. PAPERT, Counter-Free Automata, M.I.T. Press, Cambridge, Mass., 1971. [MR: 371538] [Zbl: 0232.94024] [Google Scholar]
  11. 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] [Google Scholar]
  12. 12. J. E. PIN, Variétés de langages formels, Masson, Paris, 1984. [MR: 752695] [Zbl: 0636.68093] [Google Scholar]
  13. 13. J. E. PIN, Hiérarchies de contaténation, R.A.I.R.O. Informatique Théorique, 1984, 18, pp. 23-46. [EuDML: 92197] [MR: 750449] [Zbl: 0559.68062] [Google Scholar]
  14. 14. J. G. ROSENSTEIN, Linear Orderings, Academic Press, New York, 1982. [MR: 662564] [Zbl: 0488.04002] [Google Scholar]
  15. 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] [Google Scholar]
  16. 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] [Google Scholar]
  17. 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] [Google Scholar]
  18. 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] [Google Scholar]
  19. 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] [Google Scholar]
  20. 20. W. THOMAS, Classifying Regular Events in Symbolic Logic, J. Comp. Sys. Sci., 1982, 25, pp. 360-376. [MR: 684265] [Zbl: 0503.68055] [Google Scholar]
  21. 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. [EuDML: 94847] [MR: 792490] [Zbl: 0558.68064] [Google Scholar]
  22. 22. B. TILSON, Categories as Algebra, J. of Pure and Applied Algebra, 1987, 48, pp. 83-198. [MR: 915990] [Zbl: 0627.20031] [Google Scholar]

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.