弗朗西斯科·卡利默里;苏珊娜·科萨;乔瓦姆巴蒂斯塔·伊安尼;尼古拉·利昂 有限递归程序:可判定性和自底向上计算。 (英语) 兹比尔1235.68223 AI通讯。 24,第4期,311-334(2011).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Calimeri}等人,AI Commun。24,第4号,311--334(2011;Zbl 1235.68223) 全文: 链接
弗朗西斯科·卡利默里;乔瓦姆巴蒂斯塔·伊安尼 析取逻辑编程的模板程序:一种操作语义。 (英语) Zbl 1104.68009号 AI通讯。 193-206(2006)第3期第19页.MSC公司:68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Calimeri}和\textit{G.Ianni},人工智能通信。19,第3号,193--206(2006;Zbl 1104.68009)