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

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

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



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






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


Модел. и анализ информ. систем, 2020, том 27, номер 4, страницы 510–511 (Mi mais731)  

Erratum

Исправление к статье: В. А. Соколов, “О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций”, Моделирование и анализ информационных систем, Том. 27, №3, с. 304–315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315

В. А. Соколов

Ярославский государственный университет им. П. Г. Демидова, ул. Советская, 14, г. Ярославль, 150003 Россия

Аннотация: Автор сожалеет, что в исходном списке ссылки [3] и [4] находятся в неправильных местах и их следует переставить.Кроме того, [3] содержит ошибку в названии статьи. Исправленный список цитируемых источников приведен ниже. Автор приносит извинения за причиненные неудобства.
References
[1] A. I. Mal'tsev, “Constructive algebras I”, Russian Mathematical Surveys, vol. 16, no. 3, pp. 77-129, 1961.
[2] A.I. Mal'tsev, Algoritmy i rekursivnye funktsii. Moscow: Nauka, 1965, In Russian.
[3] R. M. Robinson, “Primitive recursive functions”, Bulletin of the American Mathematical Society, vol. 53, no. 10, pp. 925-942, 1947.
[4] J. Robinson, “General recursive functions”, Proceedings of the American Mathematical Society, vol. 1, no. 6, pp. 703-718, 1950.
[5] V.A. Sokolov, “Ob odnom klasse tozhdestv v algebre Robinsona”, in 14-ya Vsesoyuznaya algebraicheskaya konferentsiya: tezisy dokladov, In Russian, vol. 2, Novosibirsk, 1977, pp. 123-124.
[6] P. M. Cohn, Universal Algebra. New York, Evanston, and London: Harper & Row, 1965.
[7] A. Robinson, “Equational logic for partial functions under Kleene equality: a complete and an incomplete set of rules”, The Journal of Symbolic Logic, vol. 54, no. 2, pp. 354-362, 1989.

Ключевые слова: алгебра, рекурсивная функция, тождество, базис, суперпозиция, итерация, обращение функции.

DOI: https://doi.org/10.18255/1818-1015-2020-4-510-511

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

Тип публикации: Письмо в редакцию, исправление
УДК: 512.57
MSC: 03D20
Поступила в редакцию: 11.12.2020
Исправленный вариант: 11.12.2020
Принята в печать:11.12.2020

Образец цитирования: В. А. Соколов, “Исправление к статье: В. А. Соколов, “О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций”, Моделирование и анализ информационных систем, Том. 27, №3, с. 304–315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315”, Модел. и анализ информ. систем, 27:4 (2020), 510–511

Цитирование в формате AMSBIB
\RBibitem{Sok20}
\by В.~А.~Соколов
\paper Исправление к статье: В. А. Соколов, ``О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций'', Моделирование и анализ информационных систем, Том. 27, \No 3, с.~304--315, 2020. DOI: \href{https://doi.org/10.18255/1818-1015-2020-3-304-315}{https://doi.org/10.18255/1818-1015-2020-3-304-315}
\jour Модел. и анализ информ. систем
\yr 2020
\vol 27
\issue 4
\pages 510--511
\mathnet{http://mi.mathnet.ru/mais731}
\crossref{https://doi.org/10.18255/1818-1015-2020-4-510-511}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mais731
  • http://mi.mathnet.ru/rus/mais/v27/i4/p510

    ОТПРАВИТЬ: 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
    Исправление к статье
  • Моделирование и анализ информационных систем
    Просмотров:
    Эта страница:15
    Полный текст:3
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021