Learning Lambek Grammars from Proof Frames (Q5414961): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963897145
@@ Property / OpenAlex ID: W2963897145 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0576
@@ Property / arXiv ID: 1310.0576 / rank @@
+Normal rank
@@ Property / cites work @@
+Finding patterns common to a set of strings
@@ Property / cites work: Finding patterns common to a set of strings / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive inference of formal languages from positive data
+Normal rank
@@ Property / cites work @@
+Q5536273
@@ Property / cites work: Q5536273 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541333
@@ Property / cites work: Q5541333 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorial grammars determined from linguistic data by unification
+Normal rank
@@ Property / cites work @@
+Learnability of type-logical grammars
@@ Property / cites work: Learnability of type-logical grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Language identification in the limit
@@ Property / cites work: Language identification in the limit / rank @@
+Normal rank
@@ Property / cites work @@
+A linear algorithm for MLL proof net correctness and sequentialization
+Normal rank
@@ Property / cites work @@
+Q4223176
@@ Property / cites work: Q4223176 / 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 @@
+Q4650584
@@ Property / cites work: Q4650584 / 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 @@
+Using Tree Transducers for Grammatical Inference
@@ Property / cites work: Using Tree Transducers for Grammatical Inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q3615444
@@ Property / cites work: Q3615444 / rank @@
+Normal rank
@@ Property / cites work @@
+How to Split Recursive Automata
@@ Property / cites work: How to Split Recursive Automata / rank @@
+Normal rank
@@ Property / cites work @@
+The correspondence between cut-elimination and normalization
+Normal rank