编辑配置文件(在新选项卡中打开) 托马斯·奥斯汀。 合著者距离 作者ID: 奥斯汀·托马斯-h 发布日期: 托马斯·奥斯汀。 已编制索引的文档: 1出版物自2012年以来 合著者: 1位合著者具有1联合出版物 26位合著者 合著者 0 单作者的 1 科马克·弗拉纳根 系列 字段 1 计算机科学(68至XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用5中的次5文件 引用人▼ 年份▼ 动态信息流的多个方面。 Zbl 1321.68034号 托马斯·奥斯汀。;科马克·弗拉纳根 5 2012 动态信息流的多个方面。 Zbl 1321.68034号 托马斯·奥斯汀。;科马克·弗拉纳根 5 2012 全部的 前5名26位作者引用 1 沃尔夫冈·阿伦特 1 埃齐奥·巴托西 1 多梅尼科·比安库利 1 娜塔莉亚·比埃洛娃 1 路易斯·凯雷斯 1 伊利亚卡斯特拉尼 1 克里斯蒂安·科伦坡 1 马里亚纽拉州Dezani-Ciancaglini 1 法尔科内,伊利斯 1 阿德里安·弗兰卡兰扎 1 丹尼尔·赫丁 1 Sr Djan Krstić 1 Lourenço,Joáo M。 1 卢埃萨·卢伦索 1 德扬·尼科维奇 1 戈登·佩斯。 1 佩雷斯,豪尔赫·A。 1 弗兰克·皮森斯 1 若泽·鲁菲诺 1 安德烈·萨贝尔菲尔德 1 塞萨尔·桑切斯 1 杰拉尔多·施奈德 1 辛戈尔斯,朱利安 1 亚历山大·施滕 1 德米特里·特拉泰尔 1 亚历山大·韦斯 3篇连载文章中引用 1 计算的形式方面 1 系统设计中的形式化方法 1 逻辑与代数程序设计杂志 在1个字段中引用 5 计算机科学(68至XX) 按年份列出的引文