斯利瓦斯塔瓦(Siddharth Srivastava);尼尔·伊梅尔曼;什洛莫·齐尔伯斯坦 循环计划的适用条件:可计算性结果和算法。 (英语) Zbl 1270.68277号 Artif公司。智力。 191-192, 1-19 (2012).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Srivastava}等人,Artif。智力。191-192,1-19(2012;Zbl 1270.68277) 全文: 内政部 链接
斯利瓦斯塔瓦(Siddharth Srivastava);尼尔·伊梅尔曼;什洛莫·齐尔伯斯坦 广义规划的一种新表示和相关算法。 (英语) Zbl 1216.68253号 Artif公司。智力。 175,第2期,615-647(2011).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Srivastava}等人,Artif。智力。175,No.2,615--647(2011;Zbl 1216.68253) 全文: 内政部