霍尔格·博克·阿克塞尔森;罗伯特·格莱克 关于可逆图灵机及其函数的普适性。 (英语) Zbl 1348.68051号 学报信息。 53,第5号,509-543(2016). 审核人:格雷戈里·洛伦·麦科姆(坦帕) MSC公司:2005年第68季度 03日第10天 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.B.Axelsen}和\textit{R.Glück},《学报》第53期,第5期,第509--543页(2016;Zbl 1348.68051) 全文: 内政部
Anthony W·林。;周三明 循环群上轨道问题的线性时间算法。 (英语) 兹伯利1347.68186 学报信息。 53,第5期,493-508(2016). 审核人:Gábor Horváth(德布勒森) MSC公司:65年第68季度 11A07号 20B40码 20K01型 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Lin}和\textit{S.Zhou},Acta Inf.53,No.5,493–508(2016;兹bl 1347.68186) 全文: 内政部 arXiv公司
伯格,埃贡;克劳斯·迪特·施韦 并发抽象状态机。 (英语) Zbl 1352.68176号 学报信息。 53,第5期,469-492(2016). 审核人:Tiit Riismaa(塔林) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger}和\textit{K.-D.Schewe},《学报》第53期,第5期,469--492(2016;Zbl 1352.68176) 全文: 内政部
彭晓宁;肖志军 关系数据库模型中的最佳覆盖。 (英语) Zbl 1347.68112号 学报信息。 53,第5期,459-468(2016). 审核人:雅罗斯拉夫·波科恩(普拉哈) MSC公司:第68页,共15页 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{X.Peng}和\textit{Z.Xiao},《学报》第53期,第5期,第459--468页(2016;Zbl 1347.68112) 全文: 内政部