Q4205425
type: Item
instance of: scholarly article
zbMATH Open document ID: 0687.03014
author: Catuscia Palamidessi
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 4125378
zbMATH Keywords: logic programming
zbMATH Keywords: declarative semantics
zbMATH Keywords: logic languages
zbMATH Keywords: Horn clause logic
zbMATH Keywords: concurrent logic languages
MaRDI profile type: MaRDI publication profile
Recommended article: Semantics of Horn and disjunctive logic programs
Recommended article: On the declarative and procedural semantics of logic programs
Recommended article: From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic
Recommended article: Q4944895
Recommended article: A declarative extension of horn clauses, and its significance for datalog and its applications
Recommended article: Q3486859
Recommended article: Q4713366
Recommended article: Q3034806
Recommended article: Semantical and computational aspects of Horn approximations
Recommended article: Q3348437
description: scientific article; zbMATH DE number 4125378