编辑配置文件(在新选项卡中打开) 沃克,本杰明 合著者距离 作者ID: 古怪的本杰明 发布日期: 沃克,本杰明 外部链接: MGP公司 已编制索引的文档: 6出版物自2003年起 合著者: 4位合著者具有5联合出版物 83位合作作者 合著者 1 单作者的 三 霍雷修·西尔斯泰 三 路易吉·利科里 2 科莱门·霍特曼 1 克洛德·基什内尔 系列 1 MSCS公司。计算机科学中的数学结构 领域 6 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用20次14文件 引用人▼ 年份▼ 重写演算中的重写策略。 Zbl 1270.68122号 霍雷修·西尔斯泰;克洛德·基什内尔;路易吉·利科里;本杰明·瓦克 9 2003 用不动点重写微积分:非类型和一阶系统。 Zbl 1100.03514号 霍雷修·西尔斯泰;路易吉·利科里;沃克,本杰明 6 2004 分布\(\rho\)-演算。 Zbl 1279.03057号 霍雷修·西尔斯泰;科莱门·霍特曼;沃克,本杰明 2 2007 多态重写演算[类型检查与类型推断]。 Zbl 1272.68191号 路易吉·利科里;沃克,本杰明 2 2005 简单类型的纯模式类型系统确保了强大的规范化。 Zbl 1088.68624号 沃克,本杰明 1 2004 分布\(\rho\)-演算。 Zbl 1279.03057号 霍雷修·西尔斯泰;科莱门·霍特曼;沃克,本杰明 2 2007 多态重写演算[类型检查与类型推断]。 Zbl 1272.68191号 路易吉·利科里;沃克,本杰明 2 2005 用不动点重写微积分:非类型和一阶系统。 Zbl 1100.03514号 霍雷修·西尔斯泰;路易吉·利科里;沃克,本杰明 6 2004 简单类型的纯模式类型系统确保了强大的规范化。 兹比尔1088.68624 沃克,本杰明 1 2004 重写演算中的重写策略。 Zbl 1270.68122号 霍雷修·西尔斯泰;克洛德·基什内尔;路易吉·利科里;沃克,本杰明 9 2003 所有引用出版物 前5名被引用出版物 全部的 前5名23位作者引用 4 霍雷修·西尔斯泰 4 赫莱内·基什内尔 三 奥纳·安德烈 三 德国福雷 2 克洛德·基什内尔 2 何塞·梅塞盖尔·瓜伊塔 1 毛里西奥Ayala Rincón 1 保罗·巴尔丹 1 克拉拉·贝托利西 1 爱德华多·博内利 1 罗德·德弗里杰尔 1 玛丽贝尔·费尔南德斯 1 科莱门·霍特曼 1 弗洛伦特·基什内尔 1 扬·威廉·克鲁普 1 伊恩·麦基 1 马丁·奥列特,纳西索 1 塞萨尔·穆尼奥斯。 1 弗朗索瓦·雷吉斯·西诺 1 文森特·范·奥斯特罗姆 1 阿尔贝托·维尔德乔 1 安德烈斯·维索 1 沃克,本杰明 3篇连载文章中引用 2 逻辑与代数程序设计杂志 1 理论计算机科学 1 高阶和符号计算 在5个字段中引用 14 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 1 范畴理论;同调代数(18-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文