LOGIC PROGRAMMING APPROACH TO MANIPULATING FORMULAS AND PROGRAMS.

Volumn , Issue , 1987, Pages 379-388

  Miller, Dale ^a   Nadathur, Gopalan ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - FORMAL LOGIC;

FIRST-ORDER HORN CLAUSES; LAMBDA PROLOG; LOGIC PROGRAMMING;

COMPUTER PROGRAMMING;

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

References (12)