编辑配置文件(在新选项卡中打开) J.R.肯纳韦。 合著者距离 作者ID: 肯纳韦.j-r 发布日期: J.R.肯纳韦。 已编制索引的文档: 8出版物自1980年以来 合著者: 8位合著者具有6联合出版物 160位合作作者 全部的 前5名合著者 2 单作者的 5 睡眠,M.罗南 三 扬·威廉·克鲁普 2 亨德里克·彼得·巴伦德雷格特 2 德弗里斯(Fer-Jan J.de Vries)。 1 Glauert,J.R.W。 1 C.A.R.Tony Hoare 1 Plasmeijer,M.J。 1 范·埃克伦,M.C.J.D。 系列 1 信息处理信件 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 并行计算 1 信息与计算 字段 8 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用117中的次103文件 引用人▼ 年份▼ 无限lambda微积分。 Zbl 0903.68105号 J.R.肯纳韦。;Klop,J.W。;睡眠,M.R。;德弗里斯,F.J。 43 1997 LEAN:一种基于图形重写的中间语言。 兹伯利0681.68037 巴伦德雷格特,H.P。;范·埃克伦,M.C.J.D。;Plasmeijer,M.J。;Glauert,J.R.W。;J.R.肯纳韦。;睡眠,M.R。 32 1989 并行或相关约简系统的顺序评估策略。 Zbl 0684.68043号 J.R.肯纳韦。 14 1989 lambda演算需要简化和脊椎策略。 Zbl 0635.03009号 巴伦德雷格特,H.P。;J.R.肯纳韦。;Klop,J.W。;睡眠,M.R。 12 1987 正交项重写系统中的超有限约简(扩展抽象)。 Zbl 1502.68151号 J.R.肯纳韦。;Klop,J.W。;睡眠,M.R。;德弗里斯,F.J。 8 1991 O(n log n)空间中的变量抽象。 Zbl 0622.03011号 J.R.肯纳韦。;睡眠,M.R。 4 1987 在Dactl中实现术语重写语言。 Zbl 0645.68018号 J.R.肯纳韦。 2 1988 不确定性理论。 Zbl 0444.68027号 J.R.肯纳韦。;霍尔,C.A.R。 2 1980 无限lambda微积分。 Zbl 0903.68105号 J.R.肯纳韦。;Klop,J.W。;睡眠,M.R。;德弗里斯,F.J。 43 1997 正交项重写系统中的超有限约简(扩展抽象)。 Zbl 1502.68151号 J.R.肯纳韦。;Klop,J.W。;睡眠,M.R。;德弗里斯,F.J。 8 1991 LEAN:一种基于图形重写的中间语言。 Zbl 0681.68037号 巴伦德雷格特,H.P。;范·埃克伦,M.C.J.D。;Plasmeijer,M.J。;格拉特,J.R.W。;J.R.肯纳韦。;睡眠,M.R。 32 1989 并行或相关约简系统的顺序评估策略。 兹伯利0684.68043 J.R.肯纳韦。 14 1989 在Dactl中实现术语重写语言。 Zbl 0645.68018号 J.R.肯纳韦。 2 1988 lambda演算需要还原和脊椎策略。 Zbl 0635.03009号 巴伦德雷格特,H.P。;J.R.肯纳韦。;Klop,J.W。;睡眠,M.R。 12 1987 O(n log n)空间中的变量抽象。 Zbl 0622.03011号 J.R.肯纳韦。;睡眠,M.R。 4 1987 不确定性理论。 Zbl 0444.68027号 J.R.肯纳韦。;霍尔,C.A.R。 2 1980 所有引用出版物 前5名被引用出版物 全部的 前5名125位作者引用 13 扬·威廉·克鲁普 5 泽纳·M·阿里奥拉。 5 德弗里斯(Fer-Jan J.de Vries)。 4 理查德·巴纳赫 4 马里亚纽拉州Dezani-Ciancaglini 4 约尔格恩德鲁利斯 4 迪米特里·亨德里克斯 4 杰罗·凯特马 4 保拉·加布里埃拉·塞维利 三 塞尔吉奥·安托伊 三 罗伯托·布鲁尼 三 安德烈亚·科拉迪尼 三 纳鸿·德肖维茨 三 法比奥·加杜奇 三 达米亚诺·马扎 三 乌戈·蒙塔纳里。 三 雅各布·格鲁·西蒙森 三 范·贝克尔,斯特芬 2 亨德里克·彼得·巴伦德雷格特 2 玛丽贝尔·费尔南德斯 2 克里斯·汉金。 2 Jean-Pierre Jouannaud 2 Fairouz D.卡马雷丁。 2 J.R.肯纳韦。 2 理查德·肯纳韦 2 安德鲁·科尔。 2 苏拉布·O·卡西达什维利。 2 萨尔瓦多卢卡斯 2 阿尔特·米德尔多普 2 罗伯·奈德佩尔特 2 尼考,汉诺 2 Ong,C.-H.卢克 2 安德鲁·波伦斯基 2 格里高·罗什乌 2 安东尼奥·萨利布拉 2 睡眠,M.罗南 2 范·拉姆斯东克(Femke van Raamsdonk) 1 Yohji阿卡玛 1 阿尔文德 1 帕特里克·巴尔 1 雷娜·巴赫西 1 保罗·巴尔丹 1 佛朗哥·巴巴内拉 1 大卫·巴罗齐尼 1 亚历山德罗·贝拉杜奇 1 克拉拉·贝托利西 1 英格·贝斯克 1 斯特凡·布隆 1 大卫·博尔顿 1 爱德华多·博内利 1 Tour男孩,蒂埃里 1 曼弗雷德·布罗伊 1 马丁·邦德。 1 杰弗里·伯恩。 1 雷米·塞尔达 1 詹姆斯·切尼 1 洛伦佐·克莱门特 1 托马斯·科尔科姆贝特 1 休伯特·科蒙 1 库卡斯·扎伊卡 1 奥利维尔,丹维 1 洛科·德尼古拉 1 罗德·德弗里杰尔 1 安东尼·迪勒 1 瑞希德·埃哈希德 1 穆纳乔·埃切宁 1 楚其·埃里森 1 阿尔瓦罗·加西亚·佩雷斯 1 埃利奥·乔瓦内蒂 1 约翰·格劳特 1 罗伯特·伊恩·戈德布拉特 1 克莱门斯,抓斗手 1 埃尔维·格雷尔 1 尤里安·黑格 1 伊曼纽尔·海因里 1 何晓勋 1 轩尼诗,Matthew C.B。 1 斯特凡·霍尔德曼 1 保拉·因弗拉迪 1 阿里亚州Isihara 1 费利克斯·约阿奇姆斯基 1 乔斯特,安迪 1 斯特凡·迈克尔·卡尔斯 1 圣埃芬·卡普兰 1 保罗·H·J·凯利。 1 迪莉娅·凯斯纳 1 Hélène基什内尔 1 巴巴拉·科尼格 1 栗原、Masahito 1 泽维尔·勒罗伊 1 比约恩·利斯佩尔 1 卢赫·拉富恩特,阿尔贝托 1 卡洛斯·隆巴迪 1 拉尔夫·马提斯 1 康诺·托马斯·麦克布莱德 1 莫妮卡·奈西 1 巴勃罗·诺盖拉 1 小黑Noshita 1 埃诺·奥勒布什 1 阿祖玛·大内 …还有25位作者 全部的 前5名17篇连载文章中引用 33 理论计算机科学 13 信息与计算 6 计算机科学中的逻辑方法 5 信息处理信件 三 MSCS公司。计算机科学中的数学结构 三 函数编程杂志 2 符号逻辑杂志 2 符号计算杂志 2 新一代计算 1 信息学报 1 纯逻辑与应用逻辑年鉴 1 自动推理杂志 1 工程、通信和计算中的应用代数 1 高阶和符号计算 1 RAIRO公司。理论信息学及其应用 1 计算机基础理论 1 ACM计算逻辑事务 在5个字段中引用 91 计算机科学(68至XX) 40 数学逻辑和基础(03-XX) 10 范畴理论;同调代数(18-XX) 1 一般代数系统(08-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文