Author: Choi K.-M. Cho S.-W. Ko M.-G. Lee I.-W.
Publisher: Elsevier
ISSN: 0045-7949
Source: Computers and Structures, Vol.82, Iss.1, 2004-01, pp. : 63-69
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Higher-order rewrite systems and their confluence
Theoretical Computer Science, Vol. 192, Iss. 1, 1998-02 ,pp. :
Intersection type assignment systems with higher-order algebraic rewriting
Theoretical Computer Science, Vol. 170, Iss. 1, 1996-12 ,pp. :