TY - JOUR AU - A. A. Gavryushkina TI - On automatic and decidable linear orderings JO - Sibirskie èlektronnye matematičeskie izvestiâ PY - 2010 SP - 100 EP - 110 VL - 7 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/SEMR_2010_7_a8/ LA - ru ID - SEMR_2010_7_a8 ER -