An application of the Ehrenfeucht-Fraisse game in formal language theory
Compte-rendu de la table ronde de logique des 15 et 16 octobre 1983 à Paris, Mémoires de la Société Mathématique de France, Série 2, no. 16 (1984), pp. 11-21. 
@incollection{MSMF_1984_2_16__11_0,
     author = {Thomas, Wolfgang},
     title = {An application of the {Ehrenfeucht-Fraisse} game in formal language theory},
     booktitle = {Compte-rendu de la table ronde de logique des 15 et 16 octobre 1983 \`a Paris},
     editor = {Delon, F. and Lascar, D. and Parigot, M. and Sabbagh, G.},
     series = {M\'emoires de la Soci\'et\'e Math\'ematique de France},
     pages = {11--21},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {16},
     year = {1984},
     doi = {10.24033/msmf.309},
     zbl = {0558.68064},
     mrnumber = {87a:68103},
     url = {http://www.numdam.org/articles/10.24033/msmf.309/}
}
TY  - CHAP
AU  - Thomas, Wolfgang
TI  - An application of the Ehrenfeucht-Fraisse game in formal language theory
BT  - Compte-rendu de la table ronde de logique des 15 et 16 octobre 1983 à Paris
ED  - Delon, F.
ED  - Lascar, D.
ED  - Parigot, M.
ED  - Sabbagh, G.
T3  - Mémoires de la Société Mathématique de France
PY  - 1984
DA  - 1984///
SP  - 11
EP  - 21
IS  - 16
PB  - Société mathématique de France
UR  - http://www.numdam.org/articles/10.24033/msmf.309/
UR  - https://zbmath.org/?q=an%3A0558.68064
UR  - https://www.ams.org/mathscinet-getitem?mr=87a:68103
UR  - https://doi.org/10.24033/msmf.309
DO  - 10.24033/msmf.309
ID  - MSMF_1984_2_16__11_0
ER  - 
Thomas, Wolfgang. An application of the Ehrenfeucht-Fraisse game in formal language theory, dans Compte-rendu de la table ronde de logique des 15 et 16 octobre 1983 à Paris, Mémoires de la Société Mathématique de France, Série 2, no. 16 (1984), pp. 11-21. doi : 10.24033/msmf.309. http://www.numdam.org/articles/10.24033/msmf.309/

J.A. Brzozowksi, R. Knast (1978) : The dot-depth hierarchy of star-free languages is infinite, J.Comput.System Sci. 16, 37-55. | MR 57 #11183 | Zbl 0368.68074

R.S. Cohen, J.A. Brzozowski (1971) : Dot-depth of star-free events, J.Comput.System Sci. 5, 1-16. | MR 46 #8783 | Zbl 0217.29602

S. Eilenberg (1976) : "Automata, Languages, and Machines", Vol.B, Academic Press, New York. | MR 58 #26604b | Zbl 0359.94067

R. Fraissé (1972) : "Cours de Logique Mathématique", Tome 2, Gauthier-Villars, Paris. | Zbl 0247.02003

R. Mcnaughton, S. Papert (1971) : "Counter-free Automata", MIT Press, Cambridge, Mass. | MR 51 #7756 | Zbl 0232.94024

J.E. Pin (1984a) : Hierarchies de concaténation, RAIRO-Informatique Théorique (to appear). | Numdam | Zbl 0559.68062

J.E. Pin (1984b) : "Variétés de langages formels", Masson, Paris (in press). | MR 86a:68058 | Zbl 0636.68093

J.G. Rosenstein (1982) : "Linear Orderings", Academic Press, New York. | Zbl 0488.04002

H. Straubing (1981) : A generalization of the Schützenberger product of finite monoids, Theor.Comput. Sci. 13, 107-110. | MR 82a:20079 | Zbl 0456.20048

W. Thomas (1982) : Classifying regular events in symbolic logic, J.Comput.System Sci. 25, 360-376. | MR 85a:03053 | Zbl 0503.68055

Cité par Sources :