14 search results - page 1 / 3 » ita 2008 |
ITA
2008
14 years 10 months ago
2008
ITA
2008
14 years 10 months ago
2008
ITA
2008
14 years 10 months ago
2008
ITA
2008
14 years 10 months ago
2008
The necessary and sufficient conditions are extracted for periodicity of bi-ideals. By the way two proper subclasses of uniformly recurrent words are introduced.
ITA
2008
14 years 10 months ago
2008
We prove that there exists a structure M whose monadic second order theory is decidable, and such that the elementary theory of every expansion of M by a constant is undecidable. 1...