GF
From MaRDI portal
Software:25581
swMATH13667MaRDI QIDQ25581FDOQ25581
Author name not available (Why is that?)
Cited In (29)
- 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
- 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
