Logical Aspects of Computational Linguistics

DOI10.1007/B136076zbMATH Open1082.68842OpenAlexW4206482180MaRDI QIDQ5706945FDOQ5706945

David A. Burke, Kristofer Johannisson

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

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

Cited In (2)

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

Uses Software

• KeY
• GF

Recommendations

• Formalized program specifications and transformation synthesis 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5706945)