Tikhon Pshenitsyn

MaRDI QIDQ2079679zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Grammars based on a logic of hypergraph languages	2024-12-06	Paper
Multimodality in the Hypergraph Lambek Calculus Electronic Proceedings in Theoretical Computer Science	2024-03-14	Paper
From double pushout grammars to hypergraph Lambek grammars with and without exponential modality (available as arXiv preprint)	2024-02-27	Paper
From double pushout grammars to hypergraph Lambek grammars with and without exponential modality	2024-02-27	Paper
Commutative Lambek grammars Journal of Logic, Language and Information	2024-02-06	Paper
Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing	2023-12-07	Paper
Hypergraph Lambek grammars Journal of Logical and Algebraic Methods in Programming	2022-09-30	Paper
Grammars over the Lambek Calculus with Permutation: Recognizing Power and Connection to Branching Vector Addition Systems with States	2022-09-17	Paper
Hypergraph basic categorial grammars Graph Transformation	2022-09-01	Paper
Powerful and NP-complete: hypergraph Lambek grammars	2022-03-21	Paper
scientific article; zbMATH DE number 7456053 (Why is no real title available?)	2022-01-12	Paper
scientific article; zbMATH DE number 7456053 (Why is no real title available?) (available as arXiv preprint)	2022-01-12	Paper
Cyclic Shift in the Lambek Calculus	2021-11-02	Paper
Introduction to a Hypergraph Logic Unifying Different Variants of the Lambek Calculus	2021-03-01	Paper
Hypergraph Lambek Calculus	2020-10-02	Paper

Research outcomes over time

This page was built for person: Tikhon Pshenitsyn