Author:
Bès Alexis,Cégielski Patrick
Subject
Computer Science Applications,General Mathematics,Software
Reference10 articles.
1. J.R. Büchi, On a decision method in the restricted second-order arithmetic. InProc. Int. Congress Logic, Methodology and Philosophy of science, Berkeley 1960. Stanford University Press (1962) 1–11.
2. K.J. Compton, On rich words. In M. Lothaire, editor,Combinatorics on words. Progress and perspectives, Proc. Int. Meet., Waterloo, Canada (1982).Encyclopedia of Mathematics17, Addison-Wesley (1983) 39–61.
3. C.C. Elgot and M.O. Rabin. Decidability and undecidability of extensions of second (first) order theory of (generalized) successor.J. Symbolic Logic31(1966) 169–181.
4. The first order properties of products of algebraic systems
5. D. Perrin and J.-É. Pin, Infinite Words.Pure Appl. Math.141(2004).
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献