王一松;你,嘉慧;袁丽燕;沈义东;张明义 描述逻辑程序基于循环公式的语义。 (英语) Zbl 1255.68149号 西奥。计算。科学。 415, 60-85 (2012). 审核人:路易吉·帕洛波利(伦德) MSC公司:68T20型 68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}等人,Theor。计算。科学。415、60-85(2012年;Zbl 1255.68149) 全文: 内政部 arXiv公司
王一松;你,嘉慧;袁丽燕;沈义东 描述逻辑程序的循环公式。 (英语) Zbl 1209.68102号 理论与实践。日志。程序。 10,编号4-6,531-545(2010).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}等人,《理论与实践》。日志。程序。10,编号4--6531--545(2010;Zbl 1209.68102) 全文: 内政部