| Publication | Date of Publication | Type |
|---|
| A comparative analysis of deletion closure operations and their properties | 2026-02-10 | Paper |
Wider systems for linear logic with fixed points: proof theory and complexity
(available as arXiv preprint) | 2026-01-01 | Paper |
Exact Complexity of the Satisfiability Problem for Strategy Logic
(available as arXiv preprint) | 2026-01-01 | Paper |
Hyperarithmetical complexity of infinitary action logic with multiplexing
Logic Journal of the IGPL | 2025-10-30 | Paper |
On decidability and expressive power of fusion grammars
Theoretical Computer Science | 2025-09-16 | Paper |
| Bonding grammars | 2025-03-12 | Paper |
First-Order Intuitionistic Linear Logic and Hypergraph Languages
(available as arXiv preprint) | 2025-01-01 | Paper |
Extending Action Logic with Omega Iteration
(available as arXiv preprint) | 2025-01-01 | Paper |
| First-order intuitionistic linear logic and hypergraph languages | 2025-01-01 | Paper |
| 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 |
Reasoning from hypotheses in *-continuous action lattices
(available as arXiv preprint) | 2024-01-01 | 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?)
(available as arXiv preprint) | 2022-01-12 | Paper |
| scientific article; zbMATH DE number 7456053 (Why is no real title available?) | 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 |
Introduction to a Hypergraph Logic Unifying Different Variants of the Lambek Calculus
(available as arXiv preprint) | 2021-01-01 | Paper |
Cyclic Shift in the Lambek Calculus
(available as arXiv preprint) | 2021-01-01 | Paper |
| Hypergraph Lambek Calculus | 2020-10-02 | Paper |
Hypergraph Lambek Calculus
(available as arXiv preprint) | 2020-01-01 | Paper |
