Q4029601
type: Item
instance of: scholarly article
zbMATH Open document ID: 0761.68027
publication date: 1993-03-28T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 139622
zbMATH Keywords: Herbrand universe
zbMATH Keywords: Herbrand base
zbMATH Keywords: least fixpoint semantics of a logic program
MaRDI profile type: MaRDI publication profile
Recommended article: Q3221399
Recommended article: On computability by logic programs
Recommended article: Q3780493
Recommended article: Infinitary logic for computer science
Recommended article: Q4395562
Recommended article: Complexity and undecidability results for logic programming
Recommended article: Computing with infinitary logic
Recommended article: Infinite Computation, Co-induction and Computational Logic
Recommended article: Q3827989
Recommended article: On Completeness of Logic Programs
description: scientific article