Fold for all seasons

Volumn , Issue , 1993, Pages 233-242

  Sheard, Tim ^a   Fegaras, Leonidas ^a  

^a OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; DATA STRUCTURES; MATHEMATICAL OPERATORS; OPTIMIZATION; RECURSIVE FUNCTIONS; THEOREM PROVING;

FUNCTIONAL LANGUAGES; GENERIC CONTROL OPERATORS; NORMALIZATION ALGORITHMS;

ALGORITHMS;

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

References (18)