塞巴斯蒂安·达尼西奇;你好,罗伯特。M。;劳伦斯,迈克尔·R。 关于程序模式动态切片问题的计算复杂性。 (英语) Zbl 1252.68077号 数学。结构。计算。科学。 21,第6期,1339-1362(2011).MSC公司:68号30 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Danicic}等人,《数学》。结构。计算。科学。21,第6号,1339--1362(2011;Zbl 1252.68077) 全文: 内政部 arXiv公司
塞巴斯蒂安·达尼西奇;Robert M.Hierons。;迈克尔·劳伦斯。 描述最小语义的特征——提供谓词线性、自由、自由程序模式的片段。 (英语) Zbl 1231.68107号 J.日志。阿尔盖布。程序。 80,第8期,481-496(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Danicic}等人,J.Log。阿尔盖布。程序。80,第8号,481--496(2011;Zbl 1231.68107) 全文: 内政部 arXiv公司
塞巴斯蒂安·达尼西奇;Robert M.Hierons。;迈克尔·劳伦斯。 一类线性、自由、近自由程序模式的子模式的强等价性的判定。 (英语) Zbl 1209.68136号 J.日志。阿尔盖布。程序。 80,第2期,92-112(2011).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{S.Danicic}等人,J.Log。阿尔盖布。程序。80,第2号,92--112(2011;Zbl 1209.68136) 全文: 内政部 链接