编辑配置文件（在新选项卡中打开） 爱德华·阿什克罗夫特。 合著者距离 作者ID： 阿什克罗夫特·埃德瓦德-a 发布日期： 阿什克罗夫特，E.A。；爱德华·阿什克罗夫特。；爱德华·阿什克罗夫特；阿什克罗夫特，E。 更多。。。较少的 外部链接： 管理程序 已编制索引的文档： 16出版物自1971年以来，包括3本书 1作为编辑的贡献 合著者： 9合著者具有15联合出版物 350位合作作者 全部的 前5名合著者 2 单作者的 6 威廉·沃奇（William W.Wadge）。 4 佐哈尔·曼纳 2 轩尼诗，Matthew C.B。 2 阿米尔·普努利 1 莫里斯·克林特 1 安东尼·福斯蒂尼（Anthony A.Faustini）。 1 费希·埃伦 1 C.A.R.Tony Hoare 1 穆罕默德·阿里·奥根 全部的 前5名系列 2 SIAM计算机杂志 2 理论计算机科学 2 A.P.I.C.数据处理研究 1 信息学报 1 计算机协会杂志 1 计算机与系统科学杂志 1 程序设计语言与系统学报 1 ACM通信 1 机器智能 领域 17 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用138中的次117文件 引用人▼ 年份▼ 证明关于并行程序的断言。 Zbl 0299.68013号 阿什克罗夫特，E.A。 21 1975 Lucid，数据流编程语言。 Zbl 0564.68002号 威廉·沃奇（William W.Wadge）。；爱德华·阿什克罗夫特。 18 1985 一元函数模式的可判定属性。 Zbl 0289.68036号 爱德华·阿什克罗夫特；佐哈尔·曼纳；阿米尔·普努利 18 1973 并行程序属性的形式化。 Zbl 0263.68016号 阿什克罗夫特，E。；Z.曼纳。 15 1971 Lucid——编写和证明程序的正式系统。 Zbl 0362.68030号 阿什克罗夫特，E.A。；Wadge，西北。 14 1976 Lucid，一种带有迭代的非过程语言。 Zbl 0358.68033号 阿什克罗夫特，E.A。 10 1977 一种不确定类型lambda演算的数学语义。 Zbl 0462.68006号 轩尼诗，M.C.B。；阿什克罗夫特，E.A。 10 1980 不确定性的语义。 Zbl 0379.02015 轩尼诗，M。；阿什克罗夫特，E.A。 9 1976 Lucid中的断续断言证明。 Zbl 0363.68021号 阿什克罗夫特，E.A。；Wadge，西北。 7 1977 将程序架构转换为while架构。 Zbl 0271.68014号 爱德华·阿什克罗夫特；佐哈尔·曼纳 5 1975 R表示语义。 Zbl 0478.68083号 阿什克罗夫特，E.A。；Wadge，西北。 5 1982 一元函数模式的可判定属性。 Zbl 0306.68048号 阿什克罗夫特，E。；Z.曼纳。；A.普努利。 三 1971 M.Clint和C.A.R.Hoare关于“程序证明：跳跃和函数”的评论。 Zbl 0326.68011号 阿什克罗夫特，E.A。；M.克林特。；C.A.R.霍尔。 三 1976 数据流编程语言Lucid。 Zbl 0564.68002号 威廉·沃奇（William W.Wadge）。；爱德华·阿什克罗夫特。 18 1985 R表示语义。 Zbl 0478.68083号 阿什克罗夫特，E.A。；Wadge，西北。 5 1982 非确定性类型lambda-calculus的数学语义。 Zbl 0462.68006号 轩尼诗，M.C.B。；阿什克罗夫特，E.A。 10 1980 Lucid，一种带有迭代的非过程语言。 Zbl 0358.68033号 阿什克罗夫特，E.A。 10 1977 Lucid中的断续断言证明。 兹伯利0363.68021 阿什克罗夫特，E.A。；Wadge，西北。 7 1977 Lucid——编写和证明程序的正式系统。 Zbl 0362.68030号 阿什克罗夫特，E.A。；Wadge，西北。 14 1976 不确定性的语义。 Zbl 0379.02015 轩尼诗，M。；阿什克罗夫特，E.A。 9 1976 M.Clint和C.A.R.Hoare关于“程序证明：跳转和函数”的评论。 Zbl 0326.68011号 阿什克罗夫特，E.A。；M.克林特。；C.A.R.霍尔。 三 1976 证明关于并行程序的断言。 Zbl 0299.68013号 阿什克罗夫特，E.A。 21 1975 将程序架构转换为while架构。 Zbl 0271.68014号 爱德华·阿什克罗夫特；佐哈尔·曼纳 5 1975 一元函数模式的可判定性质。 Zbl 0289.68036号 爱德华·阿什克罗夫特；佐哈尔·曼纳；阿米尔·普努利 18 1973 并行程序属性的形式化。 Zbl 0263.68016号 阿什克罗夫特，E。；Z.曼纳。 15 1971 一元函数模式的可判定属性。 Zbl 0306.68048号 阿什克罗夫特，E。；Z.曼纳。；A.普努利。 三 1971 所有引用出版物 前5名被引用出版物 全部的 前5名153位作者引用 4 塞巴斯蒂安·达尼西奇 4 艾米丽·弗里德曼（Emily P.Friedman）。 4 罗伯特·马克·海伦斯 4 迈克尔·劳伦斯。 2 爱德华·阿什克罗夫特。 2 埃吉迪奥·阿斯泰西亚诺 2 Lars Birkedal公司 2 阿列舍·比兹亚克 2 曼弗雷德·布罗伊 2 保罗·卡斯皮 2 杰拉尔多·科斯塔 2 布鲁诺·库塞尔 2 德里克·德雷尔（Derek R.Dreyer）。 2 约斯特·恩格尔弗里特 2 保罗·费尤特里尔 2 让·H·盖利尔。 2 伊雷纳游击队 2 维姆·赫瑟林克。 2 克里斯托夫·霍夫曼。 2 亨特，哈里·鲍文三世 2 雅克·亨利·乔尔丹 2 荣格，拉尔夫 2 罗伯特·克雷伯斯 2 李晓舟 2 佐哈尔·曼纳 2 贾亚德夫·米斯拉 2 C.格雷格·普拉克斯顿 2 戈登·普洛金（Gordon D.Plotkin）。 2 阿米尔·普努利 2 巴里·罗森。 2 丹尼尔·罗森克兰茨。 2 埃里克·梅内切·施密特 2 冈瑟·施密特 2 艾伦·斯图尔特 2 威廉·沃奇（William W.Wadge）。 2 铃木山崎 2 扎哈罗夫，弗拉基米尔·安纳托利耶维奇 1 马丁·阿巴迪 1 萨姆森·艾布拉姆斯基 1 克里斯蒂安·安托万 1 安德烈·阿诺德 1 雅克·J·阿萨克。 1 约翰·W·朱·鲍（John W.jun Baugh）。 1 Jarryd P.贝克。 1 伯恩哈德·贝克特 1 凯特丽尔·比里 1 大卫·本森。 1 阿尔伯特·本文尼斯特 1 克里斯托夫·布尔佐斯卡 1 陈宗岳 1 程艾瑞克·大海 1 Rina S.科恩。 1 罗伯特·J·科尔文。 1 F.G.库西诺。 1 帕特里克·库索特 1 拉希亚库索 1 克里默斯，阿明B。 1 雅各布斯·W·德·巴克。 1 乌戈·德利古罗 1 马里亚纽拉州Dezani-Ciancaglini 1 杜伟昌 1 马修·德怀尔。 1 曼苏尔·法拉 1 路易斯·法利尼亚斯·德尔·塞罗 1 费希·埃伦 1 Janice I，格拉斯哥。 1 戈尔德，Arie Y。 1 希拉·格雷巴赫。 1 克莱门斯·格雷克 1 大卫·格里斯 1 沃尔特·古特曼 1 尼古拉斯·哈尔巴赫斯 1 大卫·哈雷 1 马克·哈曼 1 约翰·哈特克利夫 1 伊恩·海耶斯。 1 丹尼尔·黑泽尔 1 托马斯·N·希伯德。 1 Ho，翁金 1 本田、米丘 1 Hötzel Escardó，马汀 1 约翰·霍罗伊德。 1 保罗·哈达克 1 拉杜·奥西夫 1 巴拉特·贾亚拉曼 1 克利夫·琼斯。 1 吉勒斯·卡恩 1 卡普尔，卡尔佩什 1 I.V.卡萨基纳。 1 Shmuel Katz 1 弗拉基米尔·克莱巴诺夫 1 南饶省科萨拉州 1 Kwong、Yat-sang 1 詹姆斯·D·莱尔德。 1 莱斯利·兰波特 1 伯纳德·勒戈夫 1 保罗·勒格尔尼克 1 刘海 1 卡玛尔·洛达亚 1 鲍里斯·卢巴切夫斯基。 …还有53位作者 全部的 前5名31篇连载文章中引用 30 理论计算机科学 15 计算机与系统科学杂志 10 信息学报 5 意大利信息研究所 5 国际并行程序设计杂志 4 计算的形式方面 4 分布式计算 三 MSCS公司。计算机科学中的数学结构 三 函数编程杂志 三 逻辑与代数程序设计杂志 2 信息处理信件 2 比特币 2 苏联数学杂志 2 数学系统理论 2 Studia Logica公司 2 信息与计算 2 国际计算机数学杂志 2 系统设计中的形式化方法 1 信息科学 1 哲学逻辑杂志 1 莫斯科大学计算数学与控制论 1 控制论 1 物理D 1 符号计算杂志 1 计算机工程 1 并行与分布式计算杂志 1 控制论与系统分析 1 RAIRO公司。理论信息学及其应用 1 萨达纳 1 计算机科学中的逻辑方法 1 Revue Française d’Automatique、Informatique、Recherche Opérationnelle。红Série Rouge 全部的 前5名在8个字段中引用 115 计算机科学（68至XX） 23 数学逻辑和基础（03-XX） 2 阶、格、有序代数结构（06-XX） 2 范畴理论；同调代数（18-XX） 1 一般拓扑结构（54-XX） 1 数值分析（65-XX） 1 粒子和系统力学（70-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文