Scholar
Tikhon Pshenitsyn
Google Scholar ID: i16_1KMAAAAJ
Steklov Mathematical Institute of Russian Academy of Sciences
Lambek calculus
formal grammars
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
41
H-index
4
i10-index
0
Publications
20
Co-authors
2
list available
Publications
6 items
Wider systems for linear logic with fixed points: proof theory and complexity
2026
Cited
0
Extending Action Logic with Omega Iteration
2025
Cited
0
First-Order Intuitionistic Linear Logic and Hypergraph Languages
2025
Cited
0
Uniform Membership for Hyperedge Replacement Grammars and Related Decision Problems
2025
Cited
0
On Decidability and Expressive Power of Fusion Grammars
arXiv.org · 2023
Cited
1
On Decidability and Expressive Power of Fusion Grammars
arXiv.org · 2023
Cited
1
Co-authors
2 total
Stepan Kuznetsov
Математический институт им. В. А. Стеклова РАН
Da-Jung Cho
Yonsei University
