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

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

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



Докл. РАН:
Год:
Том:
Выпуск:
Страница:
Найти






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


Докл. АН СССР, 1983, том 268, номер 6, страницы 1307–1310 (Mi dan45939)  

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

МАТЕМАТИКА

О функциональных системах $k$-значной логики с операциями замыкания программного типа

В. А. Тайманов

Московский государственный университет имени М. В. Ломоносова

Полный текст: PDF файл (541 kB)

Реферативные базы данных:
Тип публикации: Статья
УДК: 519.95
Статья представлена к публикации: А. Н. Тихонов
Поступила в редакцию: 05.07.1982

Образец цитирования: В. А. Тайманов, “О функциональных системах $k$-значной логики с операциями замыкания программного типа”, Докл. АН СССР, 268:6 (1983), 1307–1310

Цитирование в формате AMSBIB
\RBibitem{Tai83}
\by В.~А.~Тайманов
\paper О функциональных системах $k$-значной логики с операциями замыкания программного типа
\jour Докл. АН СССР
\yr 1983
\vol 268
\issue 6
\pages 1307--1310
\mathnet{http://mi.mathnet.ru/dan45939}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=0698286}
\zmath{https://zbmath.org/?q=an:0549.03018}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/dan45939
  • http://mi.mathnet.ru/rus/dan/v268/i6/p1307

    ОТПРАВИТЬ: 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. С. С. Марченков, “Клоновая классификация дуально дискриминаторных алгебр с конечным носителем”, Матем. заметки, 61:3 (1997), 359–366  mathnet  crossref  mathscinet  zmath; S. S. Marchenkov, “Clone classification of dually discriminator algebras with finite support”, Math. Notes, 61:3 (1997), 295–300  crossref  isi
    2. С. С. Марченков, “Эквациональное замыкание”, Дискрет. матем., 17:2 (2005), 117–126  mathnet  crossref  mathscinet  zmath  elib; S. S. Marchenkov, “Equational closure”, Discrete Math. Appl., 15:3 (2005), 289–298  crossref
    3. С. С. Марченков, “О строении эквационально замкнутых классов”, Дискрет. матем., 18:4 (2006), 18–30  mathnet  crossref  mathscinet  zmath  elib; S. S. Marchenkov, “On the structure of equationally closed classes”, Discrete Math. Appl., 16:6 (2006), 563–576  crossref
    4. С. С. Марченков, “Оператор замыкания с разветвлением по предикату равенства на множестве частичных булевых функций”, Дискрет. матем., 20:3 (2008), 80–88  mathnet  crossref  mathscinet  zmath  elib; S. S. Marchenkov, “The closure operator with the equality predicate branching on the set of partial Boolean functions”, Discrete Math. Appl., 18:4 (2008), 381–389  crossref
    5. С. С. Марченков, “Оператор замыкания в многозначной логике, базирующийся на функциональных уравнениях”, Дискретн. анализ и исслед. опер., 17:4 (2010), 18–31  mathnet  mathscinet  zmath; S. S. Marchenkov, “The closure operator in many-valued logic based on functional equations”, J. Appl. Industr. Math., 5:3 (2011), 383–390  crossref
    6. А. И. Мамонтов, Д. Г. Мещанинов, “Проблема полноты в функциональной системе линейных полиномов с целыми коэффициентами”, Дискрет. матем., 22:4 (2010), 64–82  mathnet  crossref  mathscinet  elib; A. I. Mamontov, D. G. Meshchaninov, “The completeness problem in the function algebra of linear integer-coefficient polynomials”, Discrete Math. Appl., 20:5-6 (2010), 621–641  crossref
    7. Я. В. Акулов, “Критерий универсальной разложимости замкнутых классов булевых функций”, Известия Иркутского государственного университета. Серия Математика, 6:3 (2013), 2–24  mathnet
  • Просмотров:
    Эта страница:44
    Полный текст:28
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020