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

Tsong Yueh Chen. On the Structural Properties of the Set of Fixpoints for Nondeterministic Recursive Definitions. J. Comput. Syst. Sci., 52(1):80-86, 1996.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.