Author： Akbarpour Behzad Tahar Sofiène Dekdouk Abdelkader
Publisher： Springer Publishing Company
ISSN： 0925-9856
Source： Formal Methods in System Design, Vol.27, Iss.1-2, 2005-09, pp. : 173-200
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
A Variadic Extension of Curry's Fixed-Point Combinator
LISP and Symbolic Computation, Vol. 18, Iss. 3-4, 2005-12 ,pp. :
Access to resources
Recommend
Some Fixed-Point Results for the Dynamic Assignment Problem
Annals of Operations Research, Vol. 124, Iss. 1-4, 2003-01 ,pp. :
Fixed-point operations on ccc's. Part I
Theoretical Computer Science, Vol. 155, Iss. 1, 1996-02 ,pp. :
A fixed-point theorem in a category of compact metric spaces
By Alessi F. Baldan P. Belle G.
Theoretical Computer Science, Vol. 146, Iss. 1, 1995-07 ,pp. :