Linear higher-order pre-unification

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1997, Pages 422-433

  Cervesato, Iliano ^a   Pfenning, Frank ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FUNCTIONS; LOGIC PROGRAMMING; THEOREM PROVING;

LINEAR LOGIC; PREUNIFICATION ALGORITHMS;

FORMAL LOGIC;

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

References (27)