Translating between Language and Logic: What Is Easy and What Is Difficult (Q5200012): Difference between revisions

@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GF
@@ Property / describes a project that uses: GF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathematica
@@ Property / describes a project that uses: Mathematica / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GF
@@ Property / describes a project that uses: GF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Naproche
@@ Property / describes a project that uses: Naproche / 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-3-642-22438-6_3
+Normal rank
@@ Property / OpenAlex ID @@
+W88461931
@@ Property / OpenAlex ID: W88461931 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5462451
@@ Property / cites work: Q5462451 / rank @@
+Normal rank
@@ Property / cites work @@
+\textit{Theorema}: Towards computer-aided mathematical theory exploration
+Normal rank
@@ Property / cites work @@
+Computerizing Mathematical Text with MathLang
@@ Property / cites work: Computerizing Mathematical Text with MathLang / rank @@
+Normal rank
@@ Property / cites work @@
+Grammatical Framework
@@ Property / cites work: Grammatical Framework / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+On multiple context-free grammars
@@ Property / cites work: On multiple context-free grammars / 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 @@
+A pattern for almost compositional functions
@@ Property / cites work: A pattern for almost compositional functions / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized quantifiers and natural language
@@ Property / cites work: Generalized quantifiers and natural language / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075241
@@ Property / cites work: Q3075241 / rank @@
+Normal rank
@@ Property / cites work @@
+The language of mathematics. A linguistic and philosophical investigation
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843182
@@ Property / cites work: Q4843182 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTIONAL PEARL <i>Functional chart parsing of context-free grammars</i>
+Normal rank
@@ Property / cites work @@
+Q3024829
@@ Property / cites work: Q3024829 / rank @@
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343027
@@ Property / cites work: Q4343027 / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of Recursively Enumerable Sets and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank