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

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

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


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




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

Алгебра и логика, 2000, том 39, номер 1, страницы 3–22 (Mi al261)  
Эта публикация цитируется в 9 научных статьях (всего в 9 статьях)

Универсальные хорновы классы и антимногообразия алгебраических систем

В. А. Горбунов, А. В. Кравченкоa

a Институт математики им. С. Л. Соболева СО РАН
PDF полного текста (1968 kB) Список цитирования (9)
Аннотация: Определяются и изучаются универсальные хорновы классы, двойственные многообразиям как в синтаксическом, так и в семантическом смысле. Такие классы, названные здесь антимногообразиями, естественно возникают, например, в теории графов и теории формальных языков. Основными результатами работы являются теорема о характеризации антимногообразий, теоремы о ядрах в аксиоматизируемых цветосемействах и теорема о разрешимости универсальных теорий семейств интерпретаций формальных языков.
Поступило: 23.02.1999
Англоязычная версия:
Algebra and Logic, 2000, Volume 39, Issue 1, Pages 1–11
DOI: https://doi.org/10.1007/BF02681563
Реферативные базы данных:
УДК: 512.57
Образец цитирования: В. А. Горбунов, А. В. Кравченко, “Универсальные хорновы классы и антимногообразия алгебраических систем”, Алгебра и логика, 39:1 (2000), 3–22; Algebra and Logic, 39:1 (2000), 1–11
Цитирование в формате AMSBIB
\RBibitem{GorKra00}
\by В.~А.~Горбунов, А.~В.~Кравченко
\paper Универсальные хорновы классы и антимногообразия алгебраических систем
\jour Алгебра и логика
\yr 2000
\vol 39
\issue 1
\pages 3--22
\mathnet{http://mi.mathnet.ru/al261}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1782314}
\zmath{https://zbmath.org/?q=an:0953.03038}
\transl
\jour Algebra and Logic
\yr 2000
\vol 39
\issue 1
\pages 1--11
\crossref{https://doi.org/10.1007/BF02681563}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-0039121785}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al261
  • https://www.mathnet.ru/rus/al/v39/i1/p3
    • Эта публикация цитируется в следующих 9 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Алгебра и логика Algebra and Logic
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024