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.

Authors

Tsong Yueh Chen

This author has not been identified. Look up 'Tsong Yueh Chen' in Google