编辑配置文件（在新选项卡中打开） 纳撒尼尔查尔顿 合著者距离 作者ID： 查尔顿·纳撒尼尔 发布日期： 纳撒尼尔查尔顿；北卡罗来纳州查尔顿。 已编制索引的文档： 10出版物自1990年以来 合著者： 5位合著者具有7联合出版物 65位合作作者 合著者 三 单作者的 4 罗伊斯，伯恩哈德 2 本·霍斯福尔 2 迈克尔·R·A·胡特。 1 亚当·安东尼克 1 克拉克，C.J.S。 系列 1 经典引力和量子引力 1 信息与计算 1 自动推理杂志 1 计算的形式方面 领域 9 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 微分几何（53至XX） 1 相对论和引力理论（83-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用15中的次10文件 引用人▼ 年份▼ 奇偶博弈中获胜区域近似下的多项式时间。 兹比尔1336.68286 亚当·安东尼克；纳撒尼尔查尔顿；哈，迈克尔 4 2008 使用交互分析插件验证Java程序。 Zbl 1276.68049号 纳撒尼尔查尔顿 4 2006 通过存储对递归进行规范模式和证明。 兹比尔1342.68207 纳撒尼尔查尔顿；罗伊斯，伯恩哈德 三 2011 Crowfoot：高级商店程序的验证器。 Zbl 1325.68143号 纳撒尼尔查尔顿；本·霍斯福尔；罗伊斯，伯恩哈德 2 2012 使用简单语义的高阶存储的Hoare逻辑。 Zbl 1326.68085号 纳撒尼尔查尔顿 1 2011 关于克尔型崩塌的结果。 Zbl 0695.53068号 北卡罗来纳州查尔顿。；克拉克，C.J.S。 1 1990 Crowfoot：高阶存储程序的验证器。 Zbl 1325.68143号 纳撒尼尔查尔顿；本·霍斯福尔；罗伊斯，伯恩哈德 2 2012 通过存储对递归进行规范模式和证明。 Zbl 1342.68207号 纳撒尼尔查尔顿；罗伊斯，伯恩哈德 三 2011 使用简单语义的高阶存储的Hoare逻辑。 Zbl 1326.68085号 纳撒尼尔查尔顿 1 2011 平价游戏中获胜区域的多项式时间欠近似。 兹比尔1336.68286 亚当·安东尼克；纳撒尼尔查尔顿；哈，迈克尔 4 2008 使用交互分析插件验证Java程序。 Zbl 1276.68049号 纳撒尼尔查尔顿 4 2006 关于克尔型崩塌的结果。 Zbl 0695.53068号 北卡罗来纳州查尔顿。；克拉克，C.J.S。 1 1990 所有引用出版物 前5名被引用出版物 全部的 前5名14位作者引用 6 纳撒尼尔查尔顿 三 罗伊斯，伯恩哈德 2 安东尼奥·迪·斯塔西奥 2 本·霍斯福尔 2 迈克尔·R·A·胡特。 2 穆拉诺，阿尼洛 1 亚当·安东尼克 1 奥利弗·弗里德曼 1 马丁·兰格 1 朱塞佩·佩雷利 1 文森佐·普里格纳诺 1 Geurt Sengers公司 1 洛雷达纳·索伦蒂诺 1 莫西·亚亚科夫·瓦尔迪 5篇连载文章中引用 1 信息与计算 1 自动推理杂志 1 计算的形式方面 1 数学与人工智能年鉴 1 欧洲科学哲学杂志 在4个字段中引用 9 计算机科学（68至XX） 5 博弈论、经济学、金融和其他社会和行为科学（91-XX） 4 数学逻辑和基础（03-XX） 1 相对论和引力理论（83-XX） 按年份列出的引文