Related content

Bounded fixpoints for complex objects

By Suciu D.  

Theoretical Computer Science, Vol. 176, Iss. 1, 1997-04 ,pp. : 283-328

Elsevier

Access to resources Recommend Favorite

Combining algebraic rewriting, extensional lambda calculi, and fixpoints

By Di Cosmo R.   Kesner D.  

Theoretical Computer Science, Vol. 169, Iss. 2, 1996-12 ,pp. : 201-220

Elsevier

Access to resources Recommend Favorite

Computable fixpoints in well-structured symbolic model checking

By Bertrand N.   Schnoebelen P.  

Formal Methods in System Design, Vol. 43, Iss. 2, 2013-10 ,pp. : 233-267

Springer Publishing Company

Access to resources Recommend Favorite

On the Structural Properties of the Set of Fixpoints for Nondeterministic Recursive Definitions

By Chen T.Y.  

Journal of Computer and System Sciences, Vol. 52, Iss. 1, 1996-02 ,pp. : 80-86

Academic Press

Access to resources Recommend Favorite

Geometric analysis of nondeterminacy in dynamical systems: Towards a geometric analysis of concurrent systems

By Wisniewski Rafael   Raussen Martin  

Acta Informatica, Vol. 43, Iss. 7, 2007-02 ,pp. : 501-519

Springer Publishing Company

Access to resources Recommend Favorite