swMATH13667MaRDI QIDQ25581FDOQ25581
Author name not available (Why is that?)
Official website: http://www.grammaticalframework.org/
Cited In (43)
- sTeX3
- Grammars as software libraries
- Title not available (Why is that?)
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
- MathLang Translation to Isabelle Syntax
- Title not available (Why is that?)
- Title not available (Why is that?)
- Selectional restrictions, types and categories
- A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger
- Towards a self-reflective, context-aware semantic representation of mathematical specifications
- Mathematical Knowledge Management
- Title not available (Why is that?)
- Mathematical Knowledge Management
- On the expressive power of abstract categorial grammars: Representing context-free formalisms
- Title not available (Why is that?)
- Natural language inference in Coq
- Logical Aspects of Computational Linguistics
- Title not available (Why is that?)
- A derivational model of discontinuous parsing
- Plastic
- GF
- ForTheL
- Zen
- WExEd
- AnaCon
- Plat-Omega
- LKB
- Multi
- Grammar Matrix
- RailCNL
- Pidgin ML
- FraCaS
- On Two Extensions of Abstract Categorial Grammars
- Title not available (Why is that?)
- Logic-independent proof search in logical frameworks (short paper)
- Proof-theoretic semantics for a natural language fragment
- Translating between language and logic: what is easy and what is difficult
- A framework for conflict analysis of normative texts written in controlled natural language
- Mathematical Knowledge Management
- LR parsing for LCFRS
- Covert movement in logical grammar
- Construction-based compositional grammar
- Computational semantics in type theory
This page was built for software: GF