陈宗岳 关于不确定递归定义的不动点。 (英语) Zbl 0566.68009号 J.计算。系统。科学。 29, 58-79 (1984). 审核人:L.伊万诺夫 MSC公司:60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{T.Y.Chen},J.计算。系统。科学。29、58--79(1984年;Zbl 0566.68009) 全文: DOI程序
陈宗岳 非确定性递归定义属性的形式化。 (英语) Zbl 0452.68041号 信息科学。 22, 235-243 (1980).MSC公司:68问题65 68号01 PDF格式BibTeX公司 XML格式引用 \textit{T.Y.Chen},信息科学。22235--243(1980;Zbl 0452.68041) 全文: DOI程序
陈宗岳 递归定义正确性的形式化。 (英语) Zbl 0435.03034号 国际期刊计算。通知。科学。 9, 55-61 (1980).MSC公司:20日03时 03B10号机组 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Y.Chen},国际计算机学会。通知。科学。9、55-61(1980;Zbl 0435.03034) 全文: DOI程序
陈宗岳 递归定义函数等价性的形式化。 (英语) Zbl 0443.68023号 信息科学。 15, 219-227 (1978).MSC公司:68问题65 20日03时 68号01 PDF格式BibTeX公司 XML格式引用 \textit{T.Y.Chen},信息科学。15、219--227(1978;Zbl 0443.68023) 全文: DOI程序