Unidirectional Lambek grammars in polynomial time (Q987373): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00224-009-9208-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2024247183
@@ Property / OpenAlex ID: W2024247183 / rank @@
+Normal rank
@@ Property / cites work @@
+Non‐associative Lambek Categorial Grammar in Polynomial Time
+Normal rank
@@ Property / cites work @@
+The Equivalence of Unidirectional Lambek Categorial Grammars and Context‐Free Grammars
+Normal rank
@@ Property / cites work @@
+Q4263011
@@ Property / cites work: Q4263011 / rank @@
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / 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 @@
+Recognition of derivability for the Lambek calculus with one division
+Normal rank