Volume: 21, Issue: 8 (2011) pp. 1463-1472 DOI: 10.1142/S0218196711006625
|
| Abstract | Full Text (PDF, 197KB) | References |
 |
|
No. of References: 13G. A. Freiman, Nachala Strukturnoi Teorii Slozheniya Mnozhestv (Kazan. Gosudarstv. Ped. Inst, 1966). MR 0360495 (50 #12943).
Fuchs László, Infinite Abelian Groups, Pure and Applied Mathematics, Vol. 36 (Academic Press, New York, 1970).
B. R. Hodgson, Theoret. Comput. Sci. 19(3), 331 (1982), DOI: 10.1016/0304-3975(82)90042-1.
B. Khoussainov and M. Minnes, Three lectures on automatic structures, arXiv:0809.3430v1.
B. Khoussainov and A. Nerode, Automatic presentations of structures, Logic and Computational Complexity, Vol. 960, Lecture Notes in Computer Science (Springer, Berlin, 1995) pp. 367-392, DOI: 10.1007/3-540-60178-3_93.
B. Khoussainov and A. Nerode, Bull. Eur. Assoc. Theoret. Comput. Sci., EATCS 94, 181 (2008).
B. Khoussainov et al., Log. Meth. Comput. Sci. 3(12), 18 (2007), DOI: 10.2168/LMCS-3(2:2)2007.
A. Mader, Almost Completely Decomposable Groups, Algebra Logic and Application, Vol. 13 (Gordon and Breach Science Publishers, Amsterdam, 2000).
A. Nies and P. Semukhin, Logical Foundations of Computer Science, Lecture Notes in Computer Science, Vol. 4514 (Springer, Berlin, 2007) pp. 422-436, DOI: 10.1007/978-3-540-72734-7_29.
A. Nies and R. M. Thomas, J. Algebra 320(2), 569 (2008), DOI: 10.1016/j.jalgebra.2007.04.015.
S. Rubin, Automatic structures, PhD. thesis, The University of Auckland (2004).
T. Tao and V. Vu, Additive Combinatorics, Cambridge Studies in Advanced Mathematics, Vol. 105 (Cambridge University Press, Cambridge, 2006).
T. Tsankov, The additive group of the rationals does not have an automatic presentation (May 2009), arXiv:0905.1505v1.
|
|
|
