Tikhon Pshenitsyn

24 papers A* 1B 2C 1Journal 14Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Wider systems for linear logic with fixed points: proof theory and complexity.
CoRR
Anupam Das, Tikhon Pshenitsyn
2025 C conf
A Comparative Analysis of Deletion Closure Operations and Their Properties.
DLT
Da-Jung Cho, Tikhon Pshenitsyn
2025 J jnl
Complexity of the Uniform Membership Problem for Hyperedge Replacement Grammars.
CoRR
Tikhon Pshenitsyn
2025 J jnl
Extending Action Logic with Omega Iteration.
CoRR
Tikhon Pshenitsyn
2025 A* conf
First-Order Intuitionistic Linear Logic and Hypergraph Languages.
ICALP
Tikhon Pshenitsyn
2025 J jnl
First-Order Intuitionistic Linear Logic and Hypergraph Languages.
CoRR
Tikhon Pshenitsyn
2025 J jnl
On decidability and expressive power of fusion grammars.
Theor. Comput. Sci.
Tikhon Pshenitsyn
2024 — conf
Bonding Grammars.
UCNC
Tikhon Pshenitsyn
2024 J jnl
Bonding Grammars.
CoRR
Tikhon Pshenitsyn
2023 J jnl
Commutative Lambek Grammars.
J. Log. Lang. Inf.
Tikhon Pshenitsyn
2023 J jnl
Expressive Power of Hypergraph Lambek Grammars.
CoRR
Tikhon Pshenitsyn
2023 J jnl
Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing.
CoRR
Tikhon Pshenitsyn
2023 — conf
Multimodality in the Hypergraph Lambek Calculus.
AMSLO@ESSLLI
Tikhon Pshenitsyn
2023 J jnl
On Decidability and Expressive Power of Fusion Grammars.
CoRR
Tikhon Pshenitsyn
2022 — conf
From Double Pushout Grammars to Hypergraph Lambek Grammars With and Without Exponential Modality.
TERMGRAPH@FSCD
Tikhon Pshenitsyn
2022 J jnl
Grammars over the Lambek Calculus with Permutation: Recognizing Power and Connection to Branching Vector Addition Systems with States.
CoRR
Tikhon Pshenitsyn
2022 J jnl
Hypergraph Lambek grammars.
J. Log. Algebraic Methods Program.
Tikhon Pshenitsyn
2021 J jnl
Cyclic Shift in the Lambek Calculus.
CoRR
Tikhon Pshenitsyn
2021 — conf
Grammars Based on a Logic of Hypergraph Languages.
GCM@STAF
Tikhon Pshenitsyn
2021 J jnl
Introduction to a Hypergraph Logic Unifying Different Variants of the Lambek Calculus.
CoRR
Tikhon Pshenitsyn
2021 — conf
Lambek Calculus with Optional Divisions.
ESSLLI Student Sessions
Tikhon Pshenitsyn
2021 B conf
Powerful and NP-Complete: Hypergraph Lambek Grammars.
ICGT
Tikhon Pshenitsyn
2020 B conf
Hypergraph Basic Categorial Grammars.
ICGT
Tikhon Pshenitsyn
2020 — conf
Weak Greibach Normal Form for Hyperedge Replacement Grammars.
GCM@STAF
Tikhon Pshenitsyn