Powerful and NP-complete: hypergraph Lambek grammars (Q2117261): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-78946-6_6
+Normal rank
@@ Property / OpenAlex ID @@
+W3173814003
@@ Property / OpenAlex ID: W3173814003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3266124
@@ Property / cites work: Q3266124 / rank @@
+Normal rank
@@ Property / cites work @@
+Second-order abstract categorial grammars as hyperedge replacement grammars
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Multimodal linguistic inference
@@ Property / cites work: Multimodal linguistic inference / rank @@
+Normal rank
@@ Property / cites work @@
+Lambek calculus is NP-complete
@@ Property / cites work: Lambek calculus is NP-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Product-free Lambek calculus and context-free grammars
+Normal rank
@@ Property / cites work @@
+Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25--26, 2020. Proceedings
+Normal rank
@@ Property / cites work @@
+Q5021223
@@ Property / cites work: Q5021223 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2117261