保罗·亨特;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 透过雾蒙蒙的窗户看平均回报。 (英语) Zbl 1408.91045号 学报信息。 55,编号8627-647(2018).MSC公司:91A43型 第68季度第60季度 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{P.Hunter}等人,《学报》第55期,第8期,第627--647页(2018年;Zbl 1408.91045) 全文: 内政部
马丁·齐默尔曼 参数化线性时序逻辑满足成本:仍然不比LTL更昂贵。 (英语) Zbl 1390.68445号 学报信息。 55,第2期,129-152(2018).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Zimmermann},《学报》第55期,第2期,第129--152页(2018年;Zbl 1390.68445) 全文: 内政部 arXiv公司
菲利波·邦奇;丹尼拉·佩特里西安;Damien Pous;朱里安·罗特 关于造币的概述。 (英语) Zbl 1371.68186号 学报信息。 54,第2期,127-190(2017). 审核人:艾哈迈特·库萨诺夫(Komsomolsk-om-Amur) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,《信息学报》54,第2期,127--190(2017年;Zbl 1371.68186) 全文: 内政部
保罗·亨特;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 无遗憾的反应合成。 (英语) Zbl 1364.68263号 学报信息。 54,第1期,3-39页(2017年); 更正同上,第59号,第5671(2022)。MSC公司:第68季度第60季度 68问题85 68兰特 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{P.Hunter}等人,《信息学报》54,第1期,第3--39页(2017年;Zbl 1364.68263) 全文: 内政部 arXiv公司