Corrigendum to ``Semantics of a declarative language''
type: Item
instance of: scholarly article
title: Corrigendum to ``Semantics of a declarative language''
zbMATH Open document ID: 0621.68003
DOI: 10.1016/0020-0190(87)90234-1
published in: Information Processing Letters
publication date: 1987-01-01T00:00:00Z
review text: Concerns Inf. Process. Lett. 23, 147-151 (1986), reviewed in Zbl 0607.68006.
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 4007697
zbMATH Keywords: data semantics
zbMATH Keywords: program synthesis
zbMATH Keywords: logic programming
zbMATH Keywords: intuitionistic propositional calculus
author: G. E. Mints
author: É. Kh. Tyugu
MaRDI profile type: Publication
full work available at URL: 0020-0190(87)90234-1
OpenAlex ID: W4210388886
description: scientific article; zbMATH DE number 4007697