Q5111318 (Q5111318): Difference between revisions

@@ Property / DOI @@
-.4230/LIPIcs.FSCD.2017.22
@@ Property / DOI: 10.4230/LIPIcs.FSCD.2017.22 / rank @@
-Normal rank
@@ Property / cites work @@
+Proving theorems of the second order Lambek calculus in polynomial time
+Normal rank
@@ Property / cites work @@
+Non‐associative Lambek Categorial Grammar in Polynomial Time
+Normal rank
@@ Property / cites work @@
+Q4842978
@@ Property / cites work: Q4842978 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536273
@@ Property / cites work: Q5536273 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4463937
@@ Property / cites work: Q4463937 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4398333
@@ Property / cites work: Q4398333 / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of multiplicatives
@@ Property / cites work: The structure of multiplicatives / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263153
@@ Property / cites work: Q4263153 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263011
@@ Property / cites work: Q4263011 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the generative capacity of multi-modal categorial grammars
+Normal rank
@@ Property / cites work @@
+Undecidability of the Lambek Calculus with a Relevant Modality
+Normal rank
@@ Property / cites work @@
+Talking about Explicit Databases in Categorial Grammar
+Normal rank
@@ Property / cites work @@
+Lambek grammars with one division and one primitive type
+Normal rank
@@ Property / cites work @@
+On translating Lambek grammars with one division into context-free 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 @@
+Q3846669
@@ Property / cites work: Q3846669 / rank @@
+Normal rank
@@ Property / cites work @@
+Multimodal linguistic inference
@@ Property / cites work: Multimodal linguistic inference / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of categorial grammars. A deductive account of natural language syntax and semantics
+Normal rank
@@ Property / cites work @@
+A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic
+Normal rank
@@ Property / cites work @@
+A Graph-Theoretic Approach to Sequent Derivability in the Lambek Calculus
+Normal rank
@@ Property / cites work @@
+Models for the Lambek calculus
@@ Property / cites work: Models for the Lambek calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218528
@@ Property / cites work: Q4218528 / 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 @@
+Unidirectional Lambek grammars in polynomial time
@@ Property / cites work: Unidirectional Lambek grammars in polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and (noncommutative) linear logic
@@ Property / cites work: Quantales and (noncommutative) linear logic / rank @@
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.FSCD.2017.22
@@ Property / DOI: 10.4230/LIPICS.FSCD.2017.22 / rank @@
+Normal rank