Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.mccme.ru/dfc/2010/Program2/Gavryushkina_public.pdf Дата изменения: Thu Oct 7 10:04:00 2010 Дата индексирования: Sun Feb 13 23:55:44 2011 Кодировка: Windows-1251 Поисковые слова: mercury program

Список публикаций Гаврюшкиной А. А.

[1] А. А. Ревенко. Изоморфизм автоматных представлений полных порядков. Материалы XLIV МНСК, серия Математика, стр. 79, 2006. [2] A. Revenko. Automatic Linear Orders. The Bul letin of Symbolic Logic, vol. 14(1), p. 146, 2008. [3] А. А. Ревенко. Автоустойчивость автоматных представлений ординалов и линейных порядков низкого ранга. Вестник НГУ, серия: Математика, механика, информатика, том 8, вып. 4, стр. 7688, 2008. [4] A. Revenko. The Complexity of Automatic Partial Orders, The Bul letin of Symbolic Logic, vol. 16(1), p. 130, 2010. [5] А. А. Гаврюшкина. Об автоматных и разрешимых линейных порядках. Сибирские электронные математические известия, http://semr.math.nsc.ru, том 7, стр. 100110, 2010. [6] А. А. Гаврюшкина. Ранг Скотта автоматных частичных порядков. Вестник НГУ, серия: Математика, механика, информатика, том 10, вып. 2, стр. 3744, 2010. [7] A. Gavryushkina. On Automatic and Decidable Linear orderings. Abstracts of contributed talks (Logic col loquium 2010), p. 18, 2010.