The following pages link to GF (Q25581):
Displaying 29 items.
- Selectional restrictions, types and categories (Q280845) (← links)
- LR parsing for LCFRS (Q1736827) (← links)
- On the expressive power of abstract categorial grammars: Representing context-free formalisms (Q1770834) (← links)
- A derivational model of discontinuous parsing (Q2042730) (← links)
- Logic-independent proof search in logical frameworks (short paper) (Q2096460) (← links)
- Natural language inference in Coq (Q2258817) (← links)
- Construction-based compositional grammar (Q2425319) (← links)
- A framework for conflict analysis of normative texts written in controlled natural language (Q2436456) (← links)
- (Q2767009) (← links)
- PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems (Q2867939) (← links)
- Towards a Self-Reflective, Context-Aware Semantic Representation of Mathematical Specifications (Q2917380) (← links)
- Covert Movement in Logical Grammar (Q3013021) (← links)
- A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger (Q3367667) (← links)
- (Q3400634) (← links)
- On Two Extensions of Abstract Categorial Grammars (Q3498472) (← links)
- (Q3532203) (← links)
- Proof-Theoretic Semantics for a Natural Language Fragment (Q3584997) (← links)
- MathLang Translation to Isabelle Syntax (Q3637293) (← links)
- (Q4263084) (← links)
- (Q4414088) (← links)
- (Q4414106) (← links)
- (Q4828473) (← links)
- (Q5020568) (← links)
- Translating between Language and Logic: What Is Easy and What Is Difficult (Q5200012) (← links)
- Mathematical Knowledge Management (Q5313055) (← links)
- Mathematical Knowledge Management (Q5313073) (← links)
- (Q5438967) (← links)
- Logical Aspects of Computational Linguistics (Q5706945) (← links)
- Mathematical Knowledge Management (Q5898533) (← links)