JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Pshenitsyn, Tikhon Grigor'evich
Total publications:
6 (6)
in MathSciNet:
2 (2)
in Web of Science:
2 (2)
Cited articles:
1
Citations:
2
Presentations:
6
Number of views:
This page: 431 Abstract pages: 21
Keywords:
Lambek calculus, graph grammar, hyperedge replacement grammar
Subject:
formal grammar, substructural logic, algorithmic complexity
Main publications:
Tikhon Pshenitsyn, “Commutative Lambek grammars”, Journal of Logic, Language and Information , 32 (2023), 887-936
Tikhon Pshenitsyn, “Hypergraph Lambek grammars”, Journal of Logical and Algebraic Methods in Programming , 129 (2022)
https://www.mathnet.ru/eng/person189359
https://scholar.google.com/citations?user=i16_1KMAAAAJ&hl=en
List of publications on ZentralBlatt
ISTINA
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
Full list of publications:
Citations (Crossref Cited-By Service + Math-Net.Ru )
Articles
1.
T. G. Pshenitsyn, “Closure ordinal of the immediate derivability operator in infinitary action logic”, Mat. Zametki (to appear)
2.
Tikhon Pshenitsyn, “Hyperarithmetical complexity of infinitary action logic with multiplexing”, Log. J. IGPL , 2024, 1–26 (Published online) , arXiv: 2312.04091
3.
Tikhon Pshenitsyn, “Bonding Grammars”, Unconventional Computation and Natural Computation. UCNC 2024 , Lecture Notes in Comput. Sci., 14776 , Springer, Cham, 2024, 1–17
4.
Tikhon Pshenitsyn, “Multimodality in the hypergraph Lambek calculus”, Electron. Proc. Theor. Comput. Sci., 381 , 2023, 46–59 , arXiv: 2308.04520v1
5.
Tikhon Pshenitsyn, “Commutative Lambek grammars”, J. Logic Lang. Inf. , 32 (2023), 887–936 , arXiv: 2209.08415
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 ; (Published online); ; ;
2
[x]
Presentations in Math-Net.Ru
Organisations