The Monotone Lambek Calculus Is NP-Complete (Q5414974): 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-642-54789-8_20
+Normal rank
@@ Property / OpenAlex ID @@
+W2133903059
@@ Property / OpenAlex ID: W2133903059 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness Results for Lambek Syntactic Calculus
+Normal rank
@@ Property / cites work @@
+Q4463937
@@ Property / cites work: Q4463937 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut elimination and strong separation for substructural logics: an algebraic approach
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519166
@@ Property / cites work: Q5519166 / rank @@
+Normal rank
@@ Property / cites work @@
+The atomic theory of multiplication and division of semiring ideals
+Normal rank
@@ Property / cites work @@
+The atomic theory of left division of two-sided ideals of semirings with unit
+Normal rank
@@ Property / cites work @@
+Q4218528
@@ Property / cites work: Q4218528 / rank @@
+Normal rank
@@ Property / cites work @@
+Product-Free Lambek Calculus Is NP-Complete
@@ Property / cites work: Product-Free Lambek Calculus Is NP-Complete / rank @@
+Normal rank
@@ Property / cites work @@
+Language in action. Categories, lambdas and dynamic logic
+Normal rank