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},
     mrnumber = {87a:68103},
     zbl = {0558.68064},
     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
AU  - Collectif
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
SP  - 11
EP  - 21
IS  - 16
PB  - Société mathématique de France
UR  - http://www.numdam.org/articles/10.24033/msmf.309/
DO  - 10.24033/msmf.309
ID  - MSMF_1984_2_16__11_0
ER  - 
%0 Book Section
%A Thomas, Wolfgang
%T An application of the Ehrenfeucht-Fraisse game in formal language theory
%B Compte-rendu de la table ronde de logique des 15 et 16 octobre 1983 à Paris
%A Collectif
%E Delon, F.
%E Lascar, D.
%E Parigot, M.
%E Sabbagh, G.
%S Mémoires de la Société Mathématique de France
%D 1984
%P 11-21
%N 16
%I Société mathématique de France
%U http://www.numdam.org/articles/10.24033/msmf.309/
%R 10.24033/msmf.309
%F MSMF_1984_2_16__11_0
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 | Zbl

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

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

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

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

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

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

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

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

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

Cité par Sources :