Publisher: Elsevier
ISSN: 0898-1221
Source: Computers and Mathematics with Applications, Vol.46, Iss.5, 2003-09, pp. : 919-927
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
A Certified Proof of the Cartan Fixed Point Theorems
Journal of Automated Reasoning, Vol. 47, Iss. 3, 2011-10 ,pp. :
A Variadic Extension of Curry's Fixed-Point Combinator
LISP and Symbolic Computation, Vol. 18, Iss. 3-4, 2005-12 ,pp. :