Finite presentation theorem for approximating logic programs

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1990, Pages 197-209

  Heintze, Nevin ^a   Jaffar, Joxan ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY--PROGRAMMING THEORY; MATHEMATICAL TECHNIQUES--GRAPH THEORY;

CARTESIAN CLOSURE; CYCLIC TERM GRAPHS; FINITE PRESENTATION THEOREM; LOGIC PROGRAMS;

COMPUTER PROGRAMMING;

EID: 0025208656     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)