编辑配置文件(在新选项卡中打开) 罗伯特·D·坦能。 合著者距离 作者ID: tenent.robert-d公司 发布日期: 田纳西州。;罗伯特·D·坦能。;罗伯特·坦尼特 更多。。。较少的 已编制索引的文档: 32出版物自1973年以来,包括2本书 2作为编辑的贡献 合著者: 11位合著者具有15联合出版物 314位合作作者 全部的 前5名合著者 19 单作者的 8 O'Hearn,Peter W。 5 权力,约翰 4 木本武山 3 克劳迪奥·赫米达 1 彼得·弗雷德。 1 Dan R.吉卡。 1 吉木基诺西塔 1 Mislove,Michael W。 1 戈登·普洛金(Gordon D.Plotkin)。 1 唐纳德·桑内拉。 1 托宾,J.凯文 全部的 前5名系列 5 理论计算机科学 2 信息学报 2 软件。实践与经验 2 信息与计算 2 高阶和符号计算 1 信息处理信件 1 计算机语言 1 计算机协会杂志 1 计算机程序设计科学 1 ACM通信 1 比特。Nordisk Tidskrift信息处理 领域 34 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 8 范畴理论;同调代数(18-XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 27出版物有被引用178中的次120文件 引用人▼ 年份▼ 编程语言的指称语义。 Zbl 0337.68010号 田纳西州。 37 1976 参数和局部变量。 Zbl 0885.68039号 P.W.奥赫恩。;田纳西州。 29 1995 编程语言原理。 Zbl 0463.68008号 田纳西州。 16 1981 规范逻辑的语义分析。 Zbl 0699.68110号 田纳西州。 14 1990 重新审视干扰的句法控制。 Zbl 0956.68082号 P.W.奥赫恩。;鲍尔,A.J。;M.竹山。;田纳西州。 12 1999 类Algol语言中的局部变量和不干涉。(受邀演讲摘要)。 Zbl 0792.68095号 田纳西州。 9 1991 逻辑关系松散。 Zbl 0973.03016号 戈登·普洛金;权力,约翰;唐纳德·桑内拉;罗伯特·坦尼特 8 2000 局部变量的语义。 Zbl 0798.68093号 P.W.奥赫恩。;田纳西州。 8 1992 二元逻辑关系的公理化方法及其在数据求精中的应用。 Zbl 0882.18006号 吉木基诺西塔;O'Hearn,Peter W。;鲍尔,A.约翰;木本武山;罗伯特·D·坦能。 6 1997 编程语言和逻辑的函数类语义。 Zbl 0616.68007号 田纳西州。 5 1986 存储的抽象模型。 Zbl 0949.68536号 罗伯特·D·坦能。;Dan R.吉卡。 3 2000 规范逻辑的语义分析。二、。 Zbl 0797.68105号 P.W.奥赫恩。;田纳西州。 3 1993 基于语义原则的语言设计方法。 Zbl 0326.68006号 田纳西州。 3 1977 单体不确定性和可能世界的类别。 Zbl 1281.68148号 克劳迪奥·赫米达;罗伯特·D·坦能。 3 2012 可能世界语义的延续。 Zbl 0737.68058号 田纳西州。;托宾,J.K。 2 1991 类ALGOL语言。(2卷)。 Zbl 0882.68023号 2 1996 可能世界语义的fibrational框架Algol公司-喜欢语言。 Zbl 1135.68032号 C·赫米达。;田纳西州。 2 2007 再次讨论干扰的句法控制。 Zbl 0943.68108号 彼得·奥赫恩;权力,约翰;罗伯特·坦南特;木本武山 2 1995 干扰控制的语义。 Zbl 0553.68004号 田纳西州。 2 1983 SNOBOL 4的数学语义。 Zbl 0308.68012号 田纳西州。 2 1973 规范逻辑的语义分析。 Zbl 0584.68049号 田纳西州。 2 1985 关于编程逻辑中未定义表达式值的注释。 Zbl 0628.68019号 田纳西州。 2 1987 单体不确定性和可能世界的范畴。 Zbl 1238.68081号 C·赫米达。;田纳西州。 2 2009 指定软件。亲手介绍。 Zbl 1006.68035号 田纳西州。 1 2002 关于PASCAL中文件的注释。 兹比尔0365.68017 田纳西州。 1 1977 关于表示独立数据类的新方法。 Zbl 0348.68017号 田纳西州。 1 1977 类ALGOL语言中的基本数据结构。 Zbl 0694.68021号 田纳西州。 1 1989 单体不确定性和可能世界的类别。 Zbl 1281.68148号 克劳迪奥·赫米达;罗伯特·D·坦能。 3 2012 单体不确定性和可能世界的类别。 Zbl 1238.68081号 C·赫米达。;田纳西州。 2 2009 可能世界语义的fibrational框架Algol公司-喜欢语言。 Zbl 1135.68032号 C·赫米达。;田纳西州。 2 2007 指定软件。亲手介绍。 Zbl 1006.68035号 田纳西州。 1 2002 逻辑关系松散。 Zbl 0973.03016号 戈登·普洛金;权力,约翰;唐纳德·桑内拉;罗伯特·坦尼特 8 2000 存储的抽象模型。 Zbl 0949.68536号 罗伯特·D·坦能。;Dan R.吉卡。 3 2000 重新审视干扰的句法控制。 Zbl 0956.68082号 运营;赫恩,P.W。;鲍尔,A.J。;M.竹山。;田纳西州。 12 1999 二元逻辑关系的公理化方法及其在数据求精中的应用。 Zbl 0882.18006号 吉木基诺西塔;运营;彼得·霍恩(Peter W.Hearn)。;鲍尔,A.约翰;木本武山;罗伯特·D·坦能。 6 1997 类ALGOL语言。(2卷)。 Zbl 0882.68023号 2 1996 参数和局部变量。 Zbl 0885.68039号 运营;赫恩,P.W。;田纳西州。 29 1995 重新审视干扰的句法控制。 Zbl 0943.68108号 运营;彼得·赫恩;权力,约翰;罗伯特·坦尼特;木本武山 2 1995 规范逻辑的语义分析。二、。 Zbl 0797.68105号 运营;赫恩,P.W。;田纳西州。 3 1993 局部变量的语义。 兹比尔0798.68093 运营;赫恩,P.W。;田纳西州。 8 1992 类Algol语言中的局部变量和不干涉。(受邀演讲摘要)。 Zbl 0792.68095号 田纳西州。 9 1991 可能世界语义的延续。 Zbl 0737.68058号 田纳西州。;托宾,J.K。 2 1991 规范逻辑的语义分析。 Zbl 0699.68110号 田纳西州。 14 1990 类ALGOL语言中的基本数据结构。 Zbl 0694.68021号 田纳西州。 1 1989 关于编程逻辑中未定义表达式值的注释。 Zbl 0628.68019号 田纳西州。 2 1987 编程语言和逻辑的函数类语义。 Zbl 0616.68007号 田纳西州。 5 1986 规范逻辑的语义分析。 Zbl 0584.68049号 田纳西州。 2 1985 干扰控制的语义。 Zbl 0553.68004号 田纳西州。 2 1983 编程语言原理。 Zbl 0463.68008号 田纳西州。 16 1981 基于语义原则的语言设计方法。 兹伯利0326.68006 田纳西州。 3 1977 关于PASCAL中文件的注释。 Zbl 0365.68017号 田纳西州。 1 1977 关于表示独立数据类的新方法。 Zbl 0348.68017号 田纳西州。 1 1977 编程语言的指称语义。 Zbl 0337.68010号 田纳西州。 37 1976 SNOBOL 4的数学语义。 Zbl 0308.68012号 田纳西州。 2 1973 所有引用出版物 前5名被引用出版物 全部的 前5名148位作者引用 9 罗伯特·D·坦能。 4 尼尔·加尼 4 Dan R.吉卡。 4 克劳迪奥·赫米达 4 戴维·诺曼(David A.Naumann)。 4 权力,约翰 3 斯蒂芬·布鲁克斯。 3 盖·安德鲁·麦库斯克 3 弗雷德里克·诺德瓦尔·福斯伯格 3 美国雷迪。 3 萨姆·斯塔顿 2 萨姆森·艾布拉姆斯基 2 Jean-Marc阿达莫 2 丹尼尔·贝里(Daniel M.Berry)。 2 布鲁诺·库塞尔 2 迈克尔·斯特林·詹姆斯·约翰逊 2 李伟 2 尤金尼奥·莫吉 2 彼得·莫塞斯(Peter D.Mosses)。 2 弗莱明·尼尔森 2 O'Hearn,Peter W。 2 费德里科·奥尔萨尼戈 2 Edmund P.罗宾逊。 2 戴维·施密特(David A.Schmidt)。 2 斯图尔特,艾伦 1 卡马尔·阿布尔·霍恩 1 马里奥·艾略 1 莫伊兹·阿利莫哈米德 1 库洛德·阿利亚亚 1 凯蒂·阿特金森 1 回来了,拉尔夫·约翰 1 安妮迪亚·班纳吉 1 乔纳斯·巴克隆德 1 彼得·贝姆·格拉本 1 马可·贝利亚 1 Trevor J.M.Bench-Capon。 1 马丁·伯杰(Martin J.Berger)。 1 Jan A.Bergstra。 1 布兰奇,桑德琳 1 亚当·勃兰登伯格 1 乔根·布兰特 1 萨缪尔·布鲁 1 路易吉亚·卡卢奇·埃利罗(Luigia Carlucci Aiello) 1 安吉洛斯·查拉兰比迪斯 1 大卫·F·克拉克。 1 科科特,J.罗宾B。 1 特里斯坦·克罗拉德 1 罗伊·克罗。 1 杰弗里·S·H·克鲁特韦尔。 1 达姆,沃纳 1 沃尔特·多什 1 索菲亚·德罗索波洛 1 阿巴斯·埃达拉特 1 苏珊·艾森巴赫 1 阿德里安·菲奇 1 迈克尔·保罗·福曼 1 玛丽亚·乔昂·弗雷德 1 布鲁诺加夫拉诺维奇 1 西蒙·盖伊。 1 乔治·杰马诺(Giorgio M.Germano)。 1 戈梅斯·斯卡尔梅塔(Gómez-Skarmeta),安东尼奥·F·。 1 谢尔盖·冈查洛夫 1 让·古鲍特·拉雷克 1 哈米什·冈恩。 1 大卫·M·哈兰德。 1 一郎·哈索 1 本田、高黑 1 Furio Honsell 1 北彦浩弘 1 马修·霍特 1 迈克尔·R·A·胡特。 1 帕特里夏·约翰 1 亚伯拉罕·坎德尔 1 Peter M.W.Knijnenburg。 1 德克斯特·C·科赞。 1 莱克,斯蒂芬 1 拉希里、舒文杜·库马尔 1 Jean-Louis拉塞兹 1 弗朗索瓦·拉文迪埃 1 泽维尔·勒罗伊 1 乌尔夫·莱斯 1 保罗·布莱恩·利维 1 李桂华 1 丹尼尔·李卡塔(Daniel R.Licata)。 1 迈克尔·马赫(Michael J.Maher)。 1 伊莎贝拉·马斯特罗埃尼 1 斯特凡诺·马扎蒂 1 彼得·麦克伯尼 1 科内利斯·A·米德尔堡。 1 米尔纳,罗宾 1 Mislove,Michael W。 1 约翰·米切尔(John C.Mitchell)。 1 莫格尔贝里,拉斯穆斯·埃杰勒斯 1 玛格丽特·蒙特尼奥尔 1 拉贾戈帕尔·纳加拉扬 1 内佩?沃达,尼古拉?尼古拉埃维奇 1 新,Max S。 1 弗兰克·诺德曼 1 弗朗索瓦·诺齐克 1 克劳德·佩尔 …还有48位作者 全部的 前5名32篇连载文章中引用 29 理论计算机科学 8 信息与计算 5 信息学报 4 模糊集与系统 3 比特币 3 软件。实践与经验 3 纯逻辑与应用逻辑年鉴 3 计算机科学与技术杂志 3 计算的形式方面 3 骨髓间充质干细胞。计算机科学中的数学结构 3 逻辑与代数程序设计杂志 2 计算机与系统科学杂志 2 RAIRO,Informatique Théorique公司 2 函数编程杂志 2 程序设计中的逻辑和代数方法杂志 1 信息处理信件 1 卡尔科洛 1 苏联数学杂志 1 合成 1 拓扑及其应用 1 应用数学和力学。(英文版) 1 新一代计算 1 自动推理杂志 1 国际计算机数学杂志 1 应用分类结构 1 新物理学杂志 1 LMS计算与数学杂志 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 比特。Nordisk Tidskrift信息处理 1 计算机科学中的逻辑方法 1 计算机科学评论 全部的 前5名在10个字段中引用 112 计算机科学(68至XX) 25 范畴理论;同调代数(18-XX) 23 数学逻辑和基础(03-XX) 4 量子理论(81-XX) 4 信息与通信理论、电路(94-XX) 3 有序,格,有序代数结构(06-XX) 2 一般拓扑结构(54至XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 偏微分方程(35-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文