14 search results - page 1 / 3 » ita 2008 |
ITA
2008
13 years 4 months ago
2008
ITA
2008
13 years 4 months ago
2008
ITA
2008
13 years 4 months ago
2008
ITA
2008
13 years 4 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
13 years 4 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...