ON RICH WORDS

This publication has 9 references indexed in Scilit:

• Ensembles reconnaissables de mots biinfinis
  Published by Association for Computing Machinery (ACM) ,1982
• Almost sure theories
  Annals of Mathematical Logic, 1980
• Application of model theoretic games to discrete linear orders and finite automata
  Information and Control, 1977
• Decidability of Second-Order Theories and Automata on Infinite Trees
  Transactions of the American Mathematical Society, 1969
• Testing and generating infinite sequences by a finite automaton
  Information and Control, 1966
• An interpolation theorem for denumerably long formulas
  Fundamenta Mathematicae, 1965
• Infinite sequences and finite machines
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1963
• An application of games to the completeness problem for formalized theories
  Fundamenta Mathematicae, 1960
• The first order properties of products of algebraic systems
  Fundamenta Mathematicae, 1959