Logical Aspects of Computational Linguistics

DOI10.1007/B136076zbMath1082.68842OpenAlexW4206482180MaRDI QIDQ5706945

Kristofer Johannisson, David A. Burke

Publication date: 23 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b136076

Mathematics Subject Classification ID

Natural language processing (68T50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Translating between Language and Logic: What Is Easy and What Is Difficult ⋮ Machine Translation and Type Theory

Uses Software

• KeY
• GF

This page was built for publication: Logical Aspects of Computational Linguistics