Hypergraph Lambek grammars

DOI10.1016/J.JLAMP.2022.100798OpenAlexW4289745821WikidataQ114159188 ScholiaQ114159188MaRDI QIDQ2079680

Tikhon Pshenitsyn

Publication date: 30 September 2022

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2022.100798

zbMATH Keywords

Lambek calculusexpressive powergraph grammarcategorial grammarhyperedge replacement grammar

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (3)

Specification and modelling of computing systems through graphs and graph transformation ⋮ Multimodality in the Hypergraph Lambek Calculus ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Second-order abstract categorial grammars as hyperedge replacement grammars
• The Lambek calculus enriched with additional connectives
• Multimodal linguistic inference
• Powerful and NP-complete: hypergraph Lambek grammars
• Lambek calculus is NP-complete
• The Mathematics of Sentence Structure
• Handbook of Graph Grammars and Computing by Graph Transformation
• Hypergraph Basic Categorial Grammars

This page was built for publication: Hypergraph Lambek grammars