Logical Aspects of Computational Linguistics
type: Item
instance of: scholarly article
title: Logical Aspects of Computational Linguistics
zbMATH Open document ID: 1082.68842
author: Kristofer Johannisson
author: David A. Burke
published in: Lecture Notes in Computer Science
publication date: 2005-11-23T00:00:00Z
Mathematics Subject Classification ID: 68T50
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 2231626
describes a project that uses: GF
describes a project that uses: KeY
MaRDI profile type: MaRDI publication profile
full work available at URL: b136076
OpenAlex ID: W4206482180
DOI: 10.1007/B136076
Recommended article: Q3113439
Recommended article: Formalized program specifications and transformation synthesis
Recommended article: Q4065055
Recommended article: Q3528956
Recommended article: Q3339307
Recommended article: Q3996676
description: scientific article; zbMATH DE number 2231626