×
作者ID: 肯纳韦.j-r最近由“Kennaway,J.R.”撰写的zbMATH文章
发布日期: J.R.肯纳韦。
已编制索引的文档: 8出版物自1980年以来
合著者: 8位合著者具有6联合出版物
160位合作作者

按年份列出的出版物

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名

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位作者

按年份列出的引文