编辑配置文件（在新选项卡中打开） 克里斯蒂安·埃米尔 作者ID： 克里斯蒂安·伊米尔矿石 发布日期： 奥雷，克里斯蒂安·埃米尔 已编制索引的文档： 1出版物自1992年起 合著者 1 单作者的 系列 1 信息与计算 领域 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 1出版物有被引用7中的次7文件 引用人▼ 年份▼ 具有归纳类型的扩展构造演算（ECC）。 Zbl 0784.03009号 奥雷，克里斯蒂安·埃米尔 7 1992 具有归纳类型的扩展构造演算（ECC）。 Zbl 0784.03009号 奥雷，克里斯蒂安·埃米尔 7 1992 所有引用的出版物 前5名被引用出版物 5位作者引用 4 伏玉溪 1 罗朝晖 1 塔尔莫乌斯塔卢 1 本诺·范登伯格 1 瓦尔莫·维尼 4篇连载文章中引用 4 计算机科学与技术杂志 1 理论计算机科学 1 纯粹逻辑与应用逻辑年鉴 1 MSCS公司。计算机科学中的数学结构 在3个字段中引用 5 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文