On the fixpoints of nondeterministic recursive definitions
作者：
Highlights：
•
摘要
This paper is concerned with the existence and properties of various fixpoints of nondeterministic recursive definitions.
论文关键词：
论文评审过程：Received 10 May 1982, Revised 18 September 1983, Available online 2 December 2003.
论文官网地址：https://doi.org/10.1016/0022-0000(84)90014-X
