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