Logic programming in a fragment of intuitionistic linear logic

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1991, Pages 32-42

  Hodas, Joshua S ^a   Miller, Dale ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - FORMAL LOGIC; COMPUTER PROGRAMMING LANGUAGES - DESIGN; DATABASE SYSTEMS; NATURAL LANGUAGE PROCESSING SYSTEMS;

DATABASE PROGRAMMING; INTUITIONISTIC LINEAR LOGIC; NATURAL LANGUAGE PARSING; THEOREM PROVING;

COMPUTER PROGRAMMING;

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

References (30)