default search action

combined dblp search
author search
venue search
publication search

ask others

Tikhon Pshenitsyn

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2026
[i11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2602-10280
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2602-10280
Anupam Das, Tikhon Pshenitsyn:
Wider systems for linear logic with fixed points: proof theory and complexity. CoRR abs/2602.10280 (2026)
2025
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Pshenitsyn25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Pshenitsyn25
Tikhon Pshenitsyn:
On decidability and expressive power of fusion grammars. Theor. Comput. Sci. 1052: 115420 (2025)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/dlt/ChoP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlt/ChoP25
Da-Jung Cho, Tikhon Pshenitsyn:
A Comparative Analysis of Deletion Closure Operations and Their Properties. DLT 2025: 30-44
[c9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icalp/Pshenitsyn25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Pshenitsyn25
Tikhon Pshenitsyn:
First-Order Intuitionistic Linear Logic and Hypergraph Languages. ICALP 2025: 170:1-170:19
[i10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2501-08082
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2501-08082
Tikhon Pshenitsyn:
Complexity of the Uniform Membership Problem for Hyperedge Replacement Grammars. CoRR abs/2501.08082 (2025)
[i9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2502-05816
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2502-05816
Tikhon Pshenitsyn:
First-Order Intuitionistic Linear Logic and Hypergraph Languages. CoRR abs/2502.05816 (2025)
[i8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2512-06985
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2512-06985
Tikhon Pshenitsyn:
Extending Action Logic with Omega Iteration. CoRR abs/2512.06985 (2025)
2024
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/uc/Pshenitsyn24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uc/Pshenitsyn24
Tikhon Pshenitsyn:
Bonding Grammars. UCNC 2024: 1-17
[i7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-14377
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-14377
Tikhon Pshenitsyn:
Bonding Grammars. CoRR abs/2401.14377 (2024)
2023
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/Pshenitsyn23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/Pshenitsyn23
Tikhon Pshenitsyn:
Commutative Lambek Grammars. J. Log. Lang. Inf. 32(5): 887-936 (2023)
[c7]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-04520
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-04520
Tikhon Pshenitsyn:
Multimodality in the Hypergraph Lambek Calculus. AMSLO@ESSLLI 2023: 46-59
[i6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-00954
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-00954
Tikhon Pshenitsyn:
On Decidability and Expressive Power of Fusion Grammars. CoRR abs/2309.00954 (2023)
[i5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-02416
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-02416
Tikhon Pshenitsyn:
Expressive Power of Hypergraph Lambek Grammars. CoRR abs/2311.02416 (2023)
[i4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-04091
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-04091
Tikhon Pshenitsyn:
Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing. CoRR abs/2312.04091 (2023)
2022
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/Pshenitsyn22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/Pshenitsyn22
Tikhon Pshenitsyn:
Hypergraph Lambek grammars. J. Log. Algebraic Methods Program. 129: 100798 (2022)
[c6]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-15788
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-15788
Tikhon Pshenitsyn:
From Double Pushout Grammars to Hypergraph Lambek Grammars With and Without Exponential Modality. TERMGRAPH@FSCD 2022: 9-26
[i3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-08415
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-08415
Tikhon Pshenitsyn:
Grammars over the Lambek Calculus with Permutation: Recognizing Power and Connection to Branching Vector Addition Systems with States. CoRR abs/2209.08415 (2022)
2021
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/esslli/Pshenitsyn21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esslli/Pshenitsyn21
Tikhon Pshenitsyn:
Lambek Calculus with Optional Divisions. ESSLLI Student Sessions 2021: 187-202
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/Pshenitsyn21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/Pshenitsyn21
Tikhon Pshenitsyn:
Powerful and NP-Complete: Hypergraph Lambek Grammars. ICGT 2021: 102-121
[c3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-11033
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-11033
Tikhon Pshenitsyn:
Grammars Based on a Logic of Hypergraph Languages. GCM@STAF 2021: 1-18
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2103-01199
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-01199
Tikhon Pshenitsyn:
Introduction to a Hypergraph Logic Unifying Different Variants of the Lambek Calculus. CoRR abs/2103.01199 (2021)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2111-01883
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-01883
Tikhon Pshenitsyn:
Cyclic Shift in the Lambek Calculus. CoRR abs/2111.01883 (2021)
2020
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/Pshenitsyn20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/Pshenitsyn20
Tikhon Pshenitsyn:
Hypergraph Basic Categorial Grammars. ICGT 2020: 146-162
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2012-01660
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-01660
Tikhon Pshenitsyn:
Weak Greibach Normal Form for Hyperedge Replacement Grammars. GCM@STAF 2020: 108-125

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.