丹尼尔·韦勒 关于消除无量词切割。 (英语) Zbl 1241.03069号 西奥。计算。科学。 412,第49号,6843-6854(2011).MSC公司:05年3月 03B10号机组 PDF格式BibTeX公司 XML格式引用 \文本{D.Weller},Theor。计算。科学。412,第49号,6843--6854(2011;Zbl 1241.03069) 全文: 内政部
塞巴斯蒂安·达尼西奇;理查德·W·巴拉克劳(Richard W.Barraclough)。;马克·哈曼;约翰·霍罗伊德。;亲吻,阿尔科斯;迈克尔·劳伦斯。 控制依赖的统一理论及其在任意程序结构中的应用。 (英语) Zbl 1231.68179号 西奥。计算。科学。 412,第49号,6809-6842(2011).MSC公司:68兰特 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Danicic}等人,Theor。计算。科学。412,第49号,6809--6842(2011;Zbl 1231.68179) 全文: 内政部 链接
劳拉·博泽利;Legay、Axel;苏菲·平奇纳特 基本形式的预订单检查硬度。 (英语) Zbl 1227.68072号 西奥。计算。科学。 412,编号49,6795-6808(2011).MSC公司:60年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,Theor。计算。科学。412,第49号,6795--6808(2011;Zbl 1227.68072) 全文: 内政部