Sequence Domains and Fixpoint Semantics for Logic Programs Susumu YAMASAKI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1996/06/25 Vol. E79-DNo. 6 ;
pp. 840-854 Type of Manuscript: PAPER Category: Software Theory Keyword: logic program, fixpoint theory, narrowing, semantics, domain theory,