Алгебра и логика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Подписка
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Алгебра и логика:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Алгебра и логика, 2017, том 56, номер 2, страницы 256–266 (Mi al790)  

Эта публикация цитируется в 9 научных статьях (всего в 9 статьях)

Сообщения

Различные версии категоричности без задержек

И. Ш. Калимуллинa, А. Г. Мельниковb, К. М. Нгc

a Казанский федерал. ун-т, ул. Кремлёвская, 18, г. Казань, 420008, РОССИЯ
b Massey Univ. Auckland, Private Bag 102904, North Shore, Auckland 0745, NEW ZEALAND
c Nanyang Technology University, Nanyang Avenue 50, Singapore, 639798, SINGAPORE

Аннотация: Представлено зам. главного редактора C. C. Гончаровым.

Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 15-01-08252
Министерство образования и науки Российской Федерации 1.451.2016/1.4
Marsden Fund of New Zealand
Massey University Research Fund
Ministry of Education, Singapore MOE-RG26/13
MOE2015-T2-2-055
Работа первого из авторов выполнена при финансовой поддержке Российского фонда фундаментальных исследований, проект 15-01-08252, и Министерства образования и науки Российской Федерации, 1.451.2016/1.4; второго из авторов – грантами Marsden Fund of New Zealand и Massey University Research Fund; третьего из авторов – грантами MOE-RG26/13 и MOE2015-T2-2-055.


DOI: https://doi.org/10.17377/alglog.2017.56.207

Полный текст: PDF файл (172 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Algebra and Logic, 2017, 56:2, 171–177

Реферативные базы данных:

Тип публикации: Статья
УДК: 510.5+512+510.6
Поступило: 04.10.2016
Окончательный вариант: 17.04.2017

Образец цитирования: И. Ш. Калимуллин, А. Г. Мельников, К. М. Нг, “Различные версии категоричности без задержек”, Алгебра и логика, 56:2 (2017), 256–266; Algebra and Logic, 56:2 (2017), 171–177

Цитирование в формате AMSBIB
\RBibitem{KalMelNg17}
\by И.~Ш.~Калимуллин, А.~Г.~Мельников, К.~М.~Нг
\paper Различные версии категоричности без задержек
\jour Алгебра и логика
\yr 2017
\vol 56
\issue 2
\pages 256--266
\mathnet{http://mi.mathnet.ru/al790}
\crossref{https://doi.org/10.17377/alglog.2017.56.207}
\transl
\jour Algebra and Logic
\yr 2017
\vol 56
\issue 2
\pages 171--177
\crossref{https://doi.org/10.1007/s10469-017-9437-6}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000405590600007}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85022212570}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/al790
  • http://mi.mathnet.ru/rus/al/v56/i2/p256

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. И. Ш. Калимуллин, Р. Миллер, “Примитивно рекурсивные поля и категоричность”, Алгебра и логика, 58:1 (2019), 132–138  mathnet  crossref; I. Sh. Kalimullin, R. Miller, “Primitive recursive fields and categoricity”, Algebra and Logic, 58:1 (2019), 95–99  crossref  isi
    2. М. В. Зубков, И. Ш. Калимуллин, А. Г. Мельников, А. Н. Фролов, “Пунктуальные копии алгебраических структур”, Сиб. матем. журн., 60:6 (2019), 1271–1285  mathnet  crossref; M. V. Zubkov, I. Sh. Kalimullin, A. G. Mel'nikov, A. N. Frolov, “Punctual copies of algebraic structures”, Siberian Math. J., 60:6 (2019), 993–1002  crossref  isi  elib
    3. N. Bazhenov, M. Harrison-Trainor, I. Kalimullin, A. Melnikov, K. M. Ng, “Automatic and polynomial-time algebraic structures”, J. Symb. Log., 84:4 (2019), 1630–1669  crossref  mathscinet  zmath  isi  scopus
    4. N. Bazhenov, R. Downey, I. Kalimullin, A. Melnikov, “Foundations of online structure theory”, Bull. Symb. Log., 25:2 (2019), 141–181  crossref  mathscinet  zmath  isi  scopus
    5. A. G. Melnikov, K. M. Ng, “The back-and-forth method and computability without delay”, Isr. J. Math., 234:2 (2019), 959–1000  crossref  mathscinet  zmath  isi  scopus
    6. И. Ш. Калимуллин, “О построении пунктуально категоричных полугрупп”, Алгебра и логика, 59:5 (2020), 600–605  mathnet  crossref; I. Sh. Kalimullin, “Constructing punctually categorical semigroups”, Algebra and Logic, 59:5 (2020), 408–411  crossref  isi
    7. N. Bazhenov, I. Kalimullin, A. Melnikov, K. M. Ng, “Online presentations of finitely generated structures”, Theor. Comput. Sci., 844 (2020), 195–216  crossref  mathscinet  zmath  isi  scopus
    8. R. Downey, M. Harrison-Trainor, I. Kalimullin, A. Melnikov, D. Turetsky, “Graphs are not universal for online computability”, J. Comput. Syst. Sci., 112 (2020), 1–12  crossref  mathscinet  zmath  isi  scopus
    9. A. Melnikov, K. M. Ng, “A structure of punctual dimension two”, Proc. Amer. Math. Soc., 148:7 (2020), 3113–3128  crossref  mathscinet  zmath  isi  scopus
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:547
    Полный текст:16
    Литература:21
    Первая стр.:19
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021