GF
From MaRDI portal
GF Q25581
Cited in
(44)- CLAN
- LR parsing for LCFRS
- On the expressive power of abstract categorial grammars: Representing context-free formalisms
- Plastic
- A derivational model of discontinuous parsing
- GF
- Logic-independent proof search in logical frameworks (short paper)
- ForTheL
- Natural language inference in Coq
- Zen
- Construction-based compositional grammar
- A framework for conflict analysis of normative texts written in controlled natural language
- WExEd
- AnaCon
- scientific article; zbMATH DE number 1696759 (Why is no real title available?)
- Selectional restrictions, types and categories
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
- Towards a self-reflective, context-aware semantic representation of mathematical specifications
- Covert movement in logical grammar
- Plat-Omega
- LKB
- Multi
- RailCNL
- Grammar Matrix
- A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger
- Grammars as software libraries
- Pidgin ML
- On Two Extensions of Abstract Categorial Grammars
- scientific article; zbMATH DE number 5360215 (Why is no real title available?)
- Proof-theoretic semantics for a natural language fragment
- MathLang Translation to Isabelle Syntax
- FraCaS
- scientific article; zbMATH DE number 1341542 (Why is no real title available?)
- scientific article; zbMATH DE number 1952703 (Why is no real title available?)
- scientific article; zbMATH DE number 1952711 (Why is no real title available?)
- scientific article; zbMATH DE number 2117129 (Why is no real title available?)
- scientific article; zbMATH DE number 7453123 (Why is no real title available?)
- Translating between language and logic: what is easy and what is difficult
- Mathematical Knowledge Management
- Mathematical Knowledge Management
- Computational semantics in type theory
- Logical Aspects of Computational Linguistics
- Mathematical Knowledge Management
- sTeX3
This page was built for software: GF
