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 )
1.
T. G. Pshenitsyn, “Closure ordinal of the immediate derivability operator in infinitary action logic”, Mat. Zametki (to appear)
2024
2.
Tikhon Pshenitsyn, “Hyperarithmetical complexity of infinitary action logic with multiplexing”, Log. J. IGPL , 2024, 1–26 (Published online) , arXiv: 2312.04091 ; (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 ;
2023
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 ;
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
2
[x]
Presentations in Math-Net.Ru
Organisations