GF
From MaRDI portal
Software:25581
swMATH13667MaRDI QIDQ25581FDOQ25581
Author name not available (Why is that?)
Cited In (29)
- Proof-Theoretic Semantics for a Natural Language Fragment
- 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
- Covert Movement in Logical Grammar
- A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger
- 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
- Translating between Language and Logic: What Is Easy and What Is Difficult
- Logical Aspects of Computational Linguistics
- Title not available (Why is that?)
- A derivational model of discontinuous parsing
- Towards a Self-Reflective, Context-Aware Semantic Representation of Mathematical Specifications
- On Two Extensions of Abstract Categorial Grammars
- Title not available (Why is that?)
- Logic-independent proof search in logical frameworks (short paper)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A framework for conflict analysis of normative texts written in controlled natural language
- Mathematical Knowledge Management
- LR parsing for LCFRS
- Construction-based compositional grammar
This page was built for software: GF
