编辑配置文件(在新选项卡中打开) 马尔科·舒茨 合著者距离 作者ID: 舒茨·马尔科 发布日期: 马可·舒茨 外部链接: MGP公司 编入索引的文档: 2出版物自2007年起 合著者: 2位合著者具有2联合出版物 33位合作作者 合著者 0 单作者的 2 大卫·萨贝尔 2 Schmidt Schauß,曼弗雷德 系列 1 函数编程杂志 1 RAIRO公司。理论信息学及其应用 领域 2 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用14中的次12文件 引用人▼ 年份▼ 诺克严格性分析的安全性。 Zbl 1153.68012号 曼弗雷德·施密特·肖斯;大卫·萨贝尔;马可·舒茨 13 2008 决定在无限非严格数据结构上包含集合常数。 Zbl 1146.68353号 曼弗雷德·施密特·肖斯;大卫·萨贝尔;马可·舒茨 1 2007 诺克严格性分析的安全性。 Zbl 1153.68012号 曼弗雷德·施密特·肖斯;大卫·萨贝尔;马可·舒茨 13 2008 决定在无限非严格数据结构上包含集合常量。 Zbl 1146.68353号 曼弗雷德·施密特·肖斯;大卫·萨贝尔;马可·舒茨 1 2007 所有引用出版物 前5名被引用出版物 全部的 前5名11位作者引用 11 Schmidt Schauß,曼弗雷德 7 大卫·萨贝尔 3 尤努斯·库茨。 2 埃琳娜·马奇卡索娃 2 马可·舒茨 1 尤里安·黑格 1 斯特凡·霍尔德曼 1 特默尔库西亚 1 约尔迪·利维 1 马蒂亚斯·曼恩 1 维拉雷特,马特乌 全部的 前5名8篇连载文章中引用 1 信息处理信件 1 理论计算机科学 1 符号计算杂志 1 信息与计算 1 函数编程杂志 1 高阶和符号计算 1 RAIRO公司。理论信息学及其应用 1 计算机基础理论 在2个字段中引用 12 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文