编辑配置文件（在新选项卡中打开） 弗雷德里克森，卡尔·克里斯蒂安 合著者距离 作者ID： 弗雷德里克森.卡尔-克里斯蒂安 发布日期： 卡尔·克里斯蒂安·弗雷德里克森 已编制索引的文档： 2出版物自2002年起 合著者： 3位合著者具有2联合出版物 64位合作作者 合著者 0 单作者的 2 尼尔·D·琼斯。 2 戴维·莱西 2 埃里克·范怀克 系列 1 高阶与符号计算 领域 2 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用10中的次10文件 引用人▼ 年份▼ 通过时序逻辑证明编译器优化的正确性。 Zbl 1323.68380号 戴维·莱西;尼尔·D·琼斯。;埃里克·范怀克;卡尔·克里斯蒂安·弗雷德里克森 6 2002 基于时序逻辑的编译器优化正确性。 Zbl 1075.68015号 戴维·莱西;尼尔·D·琼斯。;埃里克·范怀克;卡尔·克里斯蒂安·弗雷德里克森 4 2004 基于时序逻辑的编译器优化正确性。 Zbl 1075.68015号 戴维·莱西;尼尔·D·琼斯。;埃里克·范怀克;弗雷德里克森，卡尔·克里斯蒂安 4 2004 通过时态逻辑证明编译器优化的正确性。 Zbl 1323.68380号 戴维·莱西;尼尔·D·琼斯。;埃里克·范怀克;卡尔·克里斯蒂安·弗雷德里克森 6 2002 所有引用出版物 前5名被引用出版物 全部的 前5名16位作者引用 2 戴维·施密特（David A.Schmidt）。 1 德里克·博丹 1 瑟伦·德博伊斯 1 斯蒂芬·德雷普 1 高继敏 1 杰夫·汉密尔顿。 1 尼尔·D·琼斯。 1 Krishnan、Ligesh 1 泽维尔·勒罗伊 1 伊曼·纳拉萨姆迪亚 1 雷斯勒，R·丹尼尔 1 安藤萨巴斯 1 塔尔莫乌斯塔卢 1 埃里克·范怀克 1 安德烈·沃伦科夫 1 维特·L·温特。 全部的 前5名6篇连载文章中引用 1 信息科学 1 计算机程序设计科学 1 自动推理杂志 1 高阶与符号计算 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 在3个字段中引用 10 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 阶、格、有序代数结构（06-XX） 按年份列出的引文