Author: Mislove M.W. Roscoe A.W. Schneider S.A.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.138, Iss.2, 1995-02, pp. : 273-314
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
Fixed-parameter tractability and completeness II: On completeness for W[1]
Theoretical Computer Science, Vol. 141, Iss. 1, 1995-04 ,pp. :
Balances for fixed points of primitive substitutions
Theoretical Computer Science, Vol. 307, Iss. 1, 2003-09 ,pp. :
On diagonal fixed points of increasing functions
By Colson L.
Theoretical Computer Science, Vol. 222, Iss. 1, 1999-07 ,pp. :
On two-sided infinite fixed points of morphisms
Theoretical Computer Science, Vol. 270, Iss. 1, 2002-01 ,pp. :
Least and greatest fixed points in intuitionistic natural deduction
By Uustalu
Theoretical Computer Science, Vol. 272, Iss. 1, 2002-02 ,pp. :