Q4325363
type: Item
instance of: scholarly article
zbMATH Open document ID: 0836.68014
author: A. A. Usmanov
author: V. N. Zhelyabin
publication date: 1996-04-11T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 732053
zbMATH Keywords: Horn type logical programs
zbMATH Keywords: modular logic programming
MaRDI profile type: Publication
Recommended article: Q4029601
Recommended article: Q4499240
Recommended article: General logic-systems and finite consequence operators
Recommended article: On strictly arithmetical completeness in logics of programs
Recommended article: Q5203670
Recommended article: Q4415118
Recommended article: Complexity and undecidability results for logic programming
Recommended article: Bounded nondeterminism of logic programs
Recommended article: Recursive programs and denotational semantics in absolute logics of programs
Recommended article: Negation by default and unstratifiable logic programs
description: scientific article; zbMATH DE number 732053