蒂尔·莫萨科夫斯基;Krieg-Brückner,伯尔尼 DOL中泛型的部分推出语义。 (英文) Zbl 1397.68112号 西奥。计算。科学。 741, 58-70 (2018).MSC公司:2012年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{T.Mossakowski}和\textit{B.Krieg-Brückner},Theor。计算。科学。741,58-70(2018;Zbl 1397.68112) 全文: 内政部
尼尔·加尼;克莱门斯·库普克;阿拉斯代尔·兰伯特;弗雷德里克·诺德瓦尔·福斯伯格 对迭代开放博弈的组合处理。 (英文) Zbl 1416.91036号 西奥。计算。科学。 741,48-57(2018).MSC公司:91A20型 91A40型 PDF格式BibTeX公司 XML格式引用 \textit{N.Ghani}等人,Theor。计算。科学。741、48-57(2018;Zbl 1416.91036) 全文: 内政部 arXiv公司
彼得·莫塞斯(Peter D.Mosses)。 CoFI与Don Sannella合作。 (英文) Zbl 1397.68124号 西奥。计算。科学。 741, 44-47 (2018).MSC公司:68问题65 68-03 PDF格式BibTeX公司 XML格式引用 \文本{P.D.Mosses},Theor。计算。科学。741,44-47(2018;Zbl 1397.68124) 全文: 内政部
罗尔夫·亨尼克;亚历山大·马德拉;马丁·威尔辛 重温行为规范和抽象规范。 (英文) Zbl 1396.68073号 西奥。计算。科学。 741, 32-43 (2018).MSC公司:68问题65 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人,Theor。计算。科学。741,32-43(2018;Zbl 1396.68073) 全文: 内政部
罗伯特·哈珀 开放世界中的异常跟踪。 (英文) Zbl 1397.68028号 西奥。计算。科学。 741, 25-31 (2018).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \文本{R.Harper},Theor。计算。科学。741,25-31(2018;Zbl 1397.68028) 全文: 内政部
费尔南多·奥雷贾斯;埃尔维拉·皮诺;玛丽莎·纳瓦罗;莱恩·兰伯斯 图形结构导航逻辑机构。 (英文) Zbl 1436.03325号 西奥。计算。科学。 741, 19-24 (2018).MSC公司:03G30型 03B60号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Orejas}等人,Theor。计算。科学。741,19-24(2018;Zbl 1436.03325) 全文: 内政部 链接
安德鲁·肯尼迪。;克劳迪奥·拉索五世。 将G转换为\(\text{C}^{sharp}\):面向对象语言中广义代数数据类型的表示性。 (英文) Zbl 1397.68025号 西奥。计算。科学。 741, 3-18 (2018).MSC公司:68甲15 68甲19 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Kennedy}和\textit{C.V.Russo},Theor。计算。科学。741,3--18(2018;Zbl 1397.68025) 全文: 内政部
马丁·霍夫曼(编辑);大卫·阿斯皮纳尔(编辑);布莱恩·坎贝尔(编辑);伊恩·斯塔克(编辑);佩迪塔·史蒂文斯(编辑) 前言。 (英文) Zbl 1398.00101号 西奥。计算。科学。 741,1-2(2018).MSC公司:00B25型 00B30型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}(编辑)等人,Theor。计算。科学。741,1--2(2018;Zbl 1398.00101) 全文: 内政部