Corrigendum to ``Semantics of a declarative language'' (Q1090099)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Corrigendum to ``Semantics of a declarative language |
scientific article; zbMATH DE number 4007697
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Corrigendum to ``Semantics of a declarative language'' |
scientific article; zbMATH DE number 4007697 |
Statements
Corrigendum to ``Semantics of a declarative language'' (English)
0 references
1987
0 references
Concerns Inf. Process. Lett. 23, 147-151 (1986), reviewed in Zbl 0607.68006.
0 references
data semantics
0 references
program synthesis
0 references
logic programming
0 references
intuitionistic propositional calculus
0 references
