Machine Translation and Type Theory (Q5253933): Difference between revisions

@@ Property / describes a project that uses @@
+ALF
@@ Property / describes a project that uses: ALF / rank @@
+Normal rank
@@ 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-94-007-4435-6_14
+Normal rank
@@ Property / OpenAlex ID @@
+W2098952785
@@ Property / OpenAlex ID: W2098952785 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536273
@@ Property / cites work: Q5536273 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541281
@@ Property / cites work: Q5541281 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Aspects of Computational Linguistics
@@ Property / cites work: Logical Aspects of Computational Linguistics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3846669
@@ Property / cites work: Q3846669 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4082995
@@ Property / cites work: Q4082995 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767009
@@ Property / cites work: Q2767009 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296170
@@ Property / cites work: Q4296170 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414106
@@ Property / cites work: Q4414106 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of context-free languages
@@ Property / cites work: Semantics of context-free languages / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTIONAL PEARL <i>Functional chart parsing of context-free grammars</i>
+Normal rank
@@ Property / cites work @@
+Q4263084
@@ Property / cites work: Q4263084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+The Alignment Template Approach to Statistical Machine Translation
+Normal rank
@@ Property / cites work @@
+Q4843182
@@ Property / cites work: Q4843182 / rank @@
+Normal rank
@@ Property / cites work @@
+Grammatical Framework
@@ Property / cites work: Grammatical Framework / rank @@
+Normal rank
@@ Property / cites work @@
+Q3400634
@@ Property / cites work: Q3400634 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4840207
@@ Property / cites work: Q4840207 / rank @@
+Normal rank
@@ Property / cites work @@
+A Mathematical Theory of Communication
@@ Property / cites work: A Mathematical Theory of Communication / rank @@
+Normal rank