Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Шабунин Леонид Васильевич
В базах данных Math-Net.Ru
Публикаций: 10
Научных статей: 10

Статистика просмотров:
Эта страница:440
Страницы публикаций:1594
Полные тексты:711
доцент
доктор физико-математических наук (2000)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:
Ключевые слова: математическая логика, дискретная математика, алгебра, информатика.
Коды УДК: 510.6

Основные темы научной работы

Математическая логика, дискретная математика, алгебра, информатика.
   
Основные публикации:
  • Шабунин Л. В. Теорема вложения для многообразий Кантора // Алгебра и логика, 2001, 40:3, 352–369.
  • Шабунин Л. В. Об элементарной эквивалентности свободных алгебр многообразий Кантора // Алгебра и логика, 1999, 38:2, 228–248.
  • Шабунин Л. В. Об элементарной эквивалентности свободных квазигрупп // Фундамент. и прикл. матем., 1999, 5:3, 885–901.
  • Шабунин Л. В. О конечно-определенных и свободных алгебрах многообразий Кантора // Сиб. матем. журн., 1997, 38:2, 450–462.
  • Шабунин Л. В. Разрешимость элементарных теорий некоторых конечно-определенных алгебр // Алгебра и логика, 1991, 30:4, 457–477.
  • Шабунин Л. В. Разрешимость теорий конечно-определенных квазигрупп из R-многообразий квазигрупп // Сиб. матем. журн., 1991, 32:3, 201–211.
  • Шабунин Л. В. Об элементарных теориях конечно-определенных луп со свойством обратимости // Дискрет. матем., 1991, 3:4, 79–90.
  • Шабунин Л. В. Разрешимость элементарной теории конечноопределенной квазигруппы // Матем. заметки, 1990, 47:4, 138–146.
  • Шабунин Л. В. Разрешимость элементарных теорий конечно-определенных алгебр многообразия алгебр, заданного пустой системой тождеств // Матем. заметки, 1989, 45:5, 93–102.
  • Shabunin L. V. On the interpretation of combinators with weak reduction // J. Symbol. Log., 1983, 48:3, 558–563.
  • Шабунин Л. В. Некоторые массовые проблемы исчислений комбинаторной логики // Вестн. МГУ, матем., механ., 1974, 6, 36–41.
  • Шабунин Л. В. О непротиворечивости некоторых исчислений комбинаторной логики // Вестн. МГУ, матем., механ., 1971, 6, 71–75.

https://www.mathnet.ru/rus/person25761
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/194935

Публикации в базе данных Math-Net.Ru Цитирования
2001
1. Л. В. Шабунин, “Теорема вложения для многообразий Кантора”, Алгебра и логика, 40:3 (2001),  352–369  mathnet  mathscinet  zmath; L. V. Shabunin, “The Embedding Theorem for Cantor Varieties”, Algebra and Logic, 40:3 (2001), 194–204  scopus 1
1999
2. Л. В. Шабунин, “Об элементарной эквивалентности свободных алгебр многообразий Кантора”, Алгебра и логика, 38:2 (1999),  228–248  mathnet  mathscinet
3. Л. В. Шабунин, “Об элементарной эквивалентности свободных квазигрупп”, Фундамент. и прикл. матем., 5:3 (1999),  885–901  mathnet  mathscinet  zmath
1997
4. Л. В. Шабунин, “О конечно-определенных и свободных алгебрах многообразий Кантора”, Сиб. матем. журн., 38:2 (1997),  450–462  mathnet  mathscinet  zmath; L. V. Shabunin, “On finitely presented and free algebras of Cantor varieties”, Siberian Math. J., 38:2 (1997), 389–400  isi 1
1992
5. Л. В. Шабунин, “Разрешимость теорий некоторых бесконечных конечно-определенных квазигрупп”, Изв. вузов. Матем., 1992, № 3,  74–79  mathnet  mathscinet  zmath; L. V. Shabunin, “Decidability of the theories of some infinite, finitely presented quasigroups”, Russian Math. (Iz. VUZ), 36:3 (1992), 74–80
1991
6. Л. В. Шабунин, “Разрешимость элементарных теорий некоторых конечно-определенных алгебр”, Алгебра и логика, 30:4 (1991),  457–476  mathnet  mathscinet 1
7. Л. В. Шабунин, “Об элементарных теориях конечно-определенных луп со свойством обратимости”, Дискрет. матем., 3:4 (1991),  79–90  mathnet  mathscinet  zmath
8. Л. В. Шабунин, “Разрешимость теорий конечно-определенных квазигрупп из $R$-многообразий квазигрупп”, Сиб. матем. журн., 32:3 (1991),  201–211  mathnet  mathscinet  zmath; L. V. Shabunin, “On decidability of theories of finitely generated quasigroups in $R$-varieties of groups”, Siberian Math. J., 32:3 (1991), 522–532  isi
1990
9. Л. В. Шабунин, “Разрешимость элементарной теории конечноопределенной квазигруппы”, Матем. заметки, 47:4 (1990),  138–146  mathnet  mathscinet  zmath; L. V. Shabunin, “Decidability of the elementary theory of a finitely presented quasigroup”, Math. Notes, 47:4 (1990), 408–414  isi
1989
10. Л. В. Шабунин, “Разрешимость элементарных теорий конечно-определенных алгебр многообразия алгебр, заданного пустой системой тождеств”, Матем. заметки, 45:5 (1989),  93–102  mathnet  mathscinet  zmath; L. V. Shabunin, “Decidability of elementary theories of finitely presented algebras of the variety of algebras defined by the empty system of identities”, Math. Notes, 45:5 (1989), 412–419  isi

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024