阿古德洛·阿古德罗,胡安·C。;沃尔特·卡尼埃利 模态的多项式环演算。 (英语) 兹比尔1444.03038 J.日志。计算。 27,第6期,1853-1870(2017).MSC公司:03B45号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Agudelo Agudelo}和\textit{W.Carnielli},J.日志。计算。27,第6号,1853-1870(2017;Zbl 1444.03038) 全文: 内政部 链接
沃尔特·卡尼埃利;马塞洛·科尼格里奥(Marcelo E.Coniglio)。 对一致性进行预测的副一致集合理论。 (英语) Zbl 1444.03148号 J.日志。计算。 26,第1期,97-116(2016).MSC公司:03E70型 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{W.Carnielli}和\textit{M.E.Coniglio},J.Log。计算。26,第1号,97–116(2016年;兹bl 1444.03148) 全文: 内政部 链接
马丁·卡米纳达。;沃尔特·A·卡尼利。;保罗·E·邓恩。 半静态语义。 (英语) Zbl 1267.68223号 J.日志。计算。 22,第5期,1207-1254(2012). 审核人:沃尔夫冈·费伯(维也纳) MSC公司:68T27型 68N17号 68立方英尺 2017年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.W.A.Caminada}等人,J.Log。计算。22,第5号,1207--1254(2012;Zbl 1267.68223) 全文: 内政部 链接
胡安·阿古德罗(Juan C.Agudelo)。;沃尔特·卡尼埃利 准一致性机器及其与量子计算的关系。 (英语) Zbl 1196.03053号 J.日志。计算。 20,第2期,573-595(2010).MSC公司:03日第10天 03B53号 2005年第68季度 2015年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Agudelo}和\textit{W.Carnielli},J.日志。计算。20,第2号,573--595(2010;Zbl 1196.03053) 全文: 内政部 arXiv公司
沃尔特·卡尼埃利;乔安·拉斯加;克里斯蒂娜·瑟纳达斯 通过纤维形成保存插值特征。 (英语) Zbl 1138.03010号 J.日志。计算。 18,第1期,123-151(2008).MSC公司:03B22号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{W.Carnielli}等人,J.Log。计算。18,编号123-151(2008年;兹bl 1138.03010) 全文: 内政部 链接