Every logic program has a natural stratification and an iterated least fixed point model

Volumn , Issue , 1989, Pages 11-21

  Przymusinski, Teodor C ^a  

^a UNIVERSITY OF TEXAS AT EL PASO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY--FORMAL LOGIC; DATABASE SYSTEMS--THEORY;

FIXPOINT LOGIC; LOGIC PROGRAMS; PROCEDURAL SEMANTICS;

COMPUTER PROGRAMMING;

EID: 0024859376     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/73721.73723     Document Type: Conference Paper

References (22)