Tikhon Pshenitsyn

According to our database, Tikhon Pshenitsyn authored at least 19 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Complexity of the Uniform Membership Problem for Hyperedge Replacement Grammars.

Tikhon Pshenitsyn

CoRR, January, 2025

On decidability and expressive power of fusion grammars.

Tikhon Pshenitsyn

Theor. Comput. Sci., 2025

First-Order Intuitionistic Linear Logic and Hypergraph Languages.

Tikhon Pshenitsyn

Proceedings of the 52nd International Colloquium on Automata, Languages, and Programming, 2025

A Comparative Analysis of Deletion Closure Operations and Their Properties.

Da-Jung Cho, Tikhon Pshenitsyn

Proceedings of the Developments in Language Theory - 29th International Conference, 2025

2024

Bonding Grammars.

Tikhon Pshenitsyn

Proceedings of the Unconventional Computation and Natural Computation, 2024

2023

Commutative Lambek Grammars.

Tikhon Pshenitsyn

J. Log. Lang. Inf., December, 2023

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing.

Tikhon Pshenitsyn

CoRR, 2023

Expressive Power of Hypergraph Lambek Grammars.

Tikhon Pshenitsyn

CoRR, 2023

Multimodality in the Hypergraph Lambek Calculus.

Tikhon Pshenitsyn

Proceedings of the Proceedings Modalities in substructural logics: Applications at the interfaces of logic, 2023

2022

Hypergraph Lambek grammars.

Tikhon Pshenitsyn

J. Log. Algebraic Methods Program., 2022

From Double Pushout Grammars to Hypergraph Lambek Grammars With and Without Exponential Modality.

Tikhon Pshenitsyn

Proceedings of the Proceedings Twelfth International Workshop on Computing with Terms and Graphs, 2022

Grammars over the Lambek Calculus with Permutation: Recognizing Power and Connection to Branching Vector Addition Systems with States.

Tikhon Pshenitsyn

CoRR, 2022

2021

Grammars Based on a Logic of Hypergraph Languages.

Tikhon Pshenitsyn

Proceedings of the Proceedings Twelfth International Workshop on Graph Computational Models, 2021

Cyclic Shift in the Lambek Calculus.

Tikhon Pshenitsyn

CoRR, 2021

Introduction to a Hypergraph Logic Unifying Different Variants of the Lambek Calculus.

Tikhon Pshenitsyn

CoRR, 2021

Powerful and NP-Complete: Hypergraph Lambek Grammars.

Tikhon Pshenitsyn

Proceedings of the Graph Transformation - 14th International Conference, 2021

Lambek Calculus with Optional Divisions.

Tikhon Pshenitsyn

Proceedings of the Selected Reflections in Language, Logic, and Information - ESSLLI 2019, 2021

2020

Weak Greibach Normal Form for Hyperedge Replacement Grammars.

Tikhon Pshenitsyn

Proceedings of the Eleventh International Workshop on Graph Computation Models, 2020

Hypergraph Basic Categorial Grammars.

Tikhon Pshenitsyn

Proceedings of the Graph Transformation - 13th International Conference, 2020