Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Пшеницын Тихон Григорьевич
Публикаций: 6 (6)
в MathSciNet: 2 (2)
в Web of Science: 2 (2)
Цитированных статей: 1
Цитирований: 2
Лекций и докладов: 6

Статистика просмотров:
Эта страница:431
Страницы публикаций:21
Ключевые слова: исчисление Ламбека, графовые грамматики, грамматики замещения гиперрёбер

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

формальные грамматики, субструктурные логики, алгоритмическая сложность
   
Основные публикации:
  1. Tikhon Pshenitsyn, “Commutative Lambek grammars”, Journal of Logic, Language and Information, 32 (2023), 887-936
  2. Tikhon Pshenitsyn, “Hypergraph Lambek grammars”, Journal of Logical and Algebraic Methods in Programming, 129 (2022)

https://www.mathnet.ru/rus/person189359
https://scholar.google.com/citations?user=i16_1KMAAAAJ&hl=ru
Список публикаций на ZentralBlatt
ИСТИНА https://istina.msu.ru/workers/329392482
https://orcid.org/0000-0003-4779-3143
https://www.scopus.com/authid/detail.url?authorId=57218188960
https://www.researchgate.net/profile/Tikhon-Pshenitsyn

Список публикаций:
| научные публикации | по годам | по типам | по числу цит. | общий список |


Цитирования (Crossref Cited-By Service + Math-Net.Ru)

   2024
1. Т. Г. Пшеницын, “Замыкающий ординал оператора непосредственной выводимости в инфинитарной логике действий”, Матем. заметки, 116:4 (2024), 559–577 (в печати)  mathnet
2. Tikhon Pshenitsyn, “Hyperarithmetical complexity of infinitary action logic with multiplexing”, Log. J. IGPL, 2024, 1–26 (Published online) , arXiv: 2312.04091  mathnet  crossref  isi; (Published online)
3. Tikhon Pshenitsyn, “Bonding Grammars”, Unconventional Computation and Natural Computation. UCNC 2024, Lecture Notes in Comput. Sci., 14776, Springer, Cham, 2024, 1–17  mathnet  crossref  isi;

   2023
4. Tikhon Pshenitsyn, “Multimodality in the hypergraph Lambek calculus”, Electron. Proc. Theor. Comput. Sci., 381, 2023, 46–59 , arXiv: 2308.04520v1  mathnet  crossref  mathscinet;
5. Tikhon Pshenitsyn, “Commutative Lambek grammars”, J. Logic Lang. Inf., 32 (2023), 887–936 , arXiv: 2209.08415  mathnet  crossref  mathscinet;

   2022
6. T. Pshenitsyn, “Hypergraph Lambek Grammars”, Journal of Logical and Algebraic Methods in Programming, 129 (2022), 100798 https://www.sciencedirect.com/science/article/abs/pii/S2352220822000517  crossref 2

Доклады и лекции в базе данных Math-Net.Ru
1. Сложность фрагмента инфинитарной логики действий с экспоненциальной модальностью
Т. Г. Пшеницын
Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
20 марта 2024 г. 18:15
2. Инфинитарная логика действий с экспоненциальной модальностью: замыкающие ординалы и сложность
Т. Г. Пшеницын
Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
13 марта 2024 г. 18:15
3. Графовые грамматики
Т. Г. Пшеницын
Однодневный семинар по математической логике
29 июня 2023 г. 17:00   
4. Algebraic semantics for hypergraph Lambek calculus
Tikhon Pshenitsyn
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
15 июня 2023 г. 15:30   
5. Семинар 9. Алгебраический взгляд на неклассические логики
Т. Г. Пшеницын
Семинар С. Л. Кузнецова и С. О. Сперанского "Неклассические логики"
16 ноября 2022 г. 18:00   
6. Commutative Lambek grammars are not context-free
Т. Г. Пшеницын
Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
9 ноября 2022 г. 16:30   

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