Software:25581

swMATH13667MaRDI QIDQ25581FDOQ25581

Author name not available (Why is that?)

Described by source

• Grammatical Framework

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