编辑配置文件（在新选项卡中打开） 兰迪·波拉克 合著者距离 作者ID： 波拉克·兰迪 发布日期： 兰迪·波拉克 已编制索引的文档： 12出版物自1994年以来 合著者： 35位合著者具有11联合出版物 547合著作者 全部的 前5名合著者 1 单作者的 三 佐藤真彦 2 可口、蒂埃里 2 詹姆斯·麦金纳 2 本杰明·皮尔斯。 2 木本武山 1 罗伯特·阿马迪奥（Roberto M.Amadio）。 1 尼古拉斯·阿亚奇 1 布莱恩·艾德米尔。 1 阿泽夫多·阿莫林 1 弗朗索瓦·博博特 1 Jaap P.Boender。 1 布莱恩·坎贝尔 1 亚瑟·夏盖罗 1 内森·A·柯林斯。 1 安德烈·德洪 1 德尔芬·德曼吉 1 伊利亚斯·加尼尔 1 简·赫尔曼·杰弗斯 1 Hriţcu，科特林 1 约翰·朗利。 1 安托万·马德特 1 多米尼克·P·穆利根。 1 毛罗·皮科洛 1 大卫·皮哈迪 1 雷吉斯·贾纳斯，亚恩 1 威尔默·里奇奥蒂 1 克劳迪奥·萨塞尔多蒂·科恩 1 高府樱井 1 赫尔穆特·施维赫滕贝格 1 伊恩·斯塔克 1 安德鲁·托尔马赫 1 保罗·特兰基利 1 van Benthem Juting，洛杉矶。 1 斯蒂芬妮·威里奇 1 弗里克·维迪克 1 兹瓦恩堡，一月 系列 2 符号计算杂志 1 自动推理杂志 1 Indagationes Mathematicae公司。新系列 1 计算机基础理论 领域 9 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用92中的次77文件 引用人▼ 年份▼ 工程形式元理论。 Zbl 1295.68052号 布莱恩·艾德米尔;亚瑟·夏盖罗;本杰明·皮尔斯。;兰迪·波拉克;斯蒂芬妮·威里奇 40 2008 Coq中的一个构造性代数层次。 Zbl 1038.68108号 赫尔曼·格乌弗斯;兰迪·波拉克;弗里克·威迪杰克;兹瓦恩堡，一月 14 2002 绑定的规范本地命名表示。 兹比尔1270.68073 兰迪·波拉克;佐藤真彦;威尔默·里奇奥蒂 12 2012 经过验证的信息流体系结构。 Zbl 1284.68306号 阿泽夫多·阿莫林;内森·柯林斯;安德烈·德洪;德尔芬·德曼吉;Hriţcu，科特林;大卫·皮哈迪;本杰明·皮尔斯。;兰迪·波拉克;安德鲁·托尔马赫 7 2014 \（\lambda\）-演算的外部和内部语法。 Zbl 1192.68140号 佐藤真彦;兰迪·波拉克 6 2010 具有独立类型记录的逻辑框架。 Zbl 1095.03017号 可口、蒂埃里;兰迪·波拉克;木本武山 4 2005 通过映射查看\（{\lambda}\）-术语。 Zbl 1359.03016号 佐藤真彦;兰迪·波拉克;赫尔穆特·施维赫滕贝格;高府樱井 三 2013 认证复杂性（CerCo）。 Zbl 1445.68057号 罗伯特·阿马迪奥（Roberto M.Amadio）。;尼古拉斯·阿亚切;弗朗索瓦·博博特;Jaap P.Boender。;布莱恩·坎贝尔;伊利亚斯·加尼尔;安托万·马德特;詹姆斯·麦金纳;多米尼克·P·穆里根。;毛罗·皮科洛;兰迪·波拉克;雷吉斯·贾纳斯，亚恩;克劳迪奥·萨塞尔多蒂·科恩;伊恩·斯塔克;保罗·特兰基利 三 2014 具有独立类型记录的逻辑框架。 兹比尔1052.68018 可口、蒂埃里;兰迪·波拉克;木本武山 2 2003 Isabelle/HOL中CBV功能程序的推理。 Zbl 1099.68732号 约翰·朗利;兰迪·波拉克 1 2004 经过验证的信息流体系结构。 Zbl 1284.68306号 阿泽夫多·阿莫林;内森·柯林斯;安德烈·德洪;德尔芬·德曼吉;Hriţcu，科特林;大卫·皮哈迪;本杰明·皮尔斯。;兰迪·波拉克;安德鲁·托尔马赫 7 2014 认证复杂性（CerCo）。 Zbl 1445.68057号 罗伯特·阿马迪奥（Roberto M.Amadio）。;尼古拉斯·阿亚奇;弗朗索瓦·博博特;Jaap P.Boender。;布莱恩·坎贝尔;伊利亚斯·加尼尔;安托万·马德特;詹姆斯·麦金纳;多米尼克·P·穆利根。;毛罗·皮科洛;兰迪·波拉克;雷吉斯·贾纳斯，亚恩;克劳迪奥·萨塞尔多蒂·科恩;伊恩·斯塔克;保罗·特兰奎利 三 2014 通过映射查看\（{\lambda}\）-术语。 Zbl 1359.03016号 佐藤真彦;兰迪·波拉克;赫尔穆特·施维赫滕贝格;高府樱井 三 2013 绑定的规范本地命名表示。 Zbl 1270.68073号 兰迪·波拉克;佐藤真彦;威尔默·里奇奥蒂 12 2012 \（\lambda\）-演算的外部和内部语法。 兹比尔1192.68140 佐藤真彦;兰迪·波拉克 6 2010 工程形式元理论。 Zbl 1295.68052号 布莱恩·艾德米尔;亚瑟·夏盖罗;本杰明·皮尔斯。;兰迪·波拉克;斯蒂芬妮·威里奇 40 2008 具有独立类型记录的逻辑框架。 Zbl 1095.03017号 可口、蒂埃里;兰迪·波拉克;木本武山 4 2005 Isabelle/HOL中CBV功能程序的推理。 Zbl 1099.68732号 约翰·朗利;兰迪·波拉克 1 2004 具有独立类型记录的逻辑框架。 Zbl 1052.68018号 可口、蒂埃里;兰迪·波拉克;木本武山 2 2003 Coq中的构造代数层次。 Zbl 1038.68108号 赫尔曼·格乌弗斯;兰迪·波拉克;弗里克·威迪杰克;兹瓦恩堡，一月 14 2002 所有引用出版物 前5名被引用出版物 全部的 前5名134位作者引用 5 城市，基督教 4 弗朗索瓦·波蒂埃 三 安德烈亚·阿斯佩蒂 三 亚瑟·夏盖罗 三 埃内斯托·科佩洛 三 戴尔·艾伦·米勒 三 兰迪·波拉克 三 安德烈·波佩斯库 三 威尔默·里奇奥蒂 三 克劳迪奥·萨塞尔多蒂·科恩 三 佐藤真彦 三 诺拉·萨兹 三 阿尔瓦罗·塔西斯特罗 三 恩里科·塔西 2 毛里西奥·阿亚拉·林科恩 2 托马斯·博埃里 2 杰斯珀·本森 2 多米尼克·德夫里塞 2 安德鲁·加塞克 2 洛伦佐·盖里 2 乔纳森·赫拉斯 2 米特罗维奇，梅拉尼娅 2 戈帕兰·纳达图尔 2 约阿希姆·帕罗 2 佩森蒂·格里蒂，阿曼多 2 佛朗哥·雷蒙迪 1 安德烈亚斯·阿贝尔（Andreas M.Abel）。 1 Joao Alpuim 1 罗伯特·艾奇 1 阿维拉，安德烈亚·博尔赫斯 1 巴博萨，A.V。 1 玛丽安·亚历山德鲁·巴罗尼 1 斯特凡·贝尔霍费尔 1 拉尔斯·比克达尔 1 安娜·波夫 1 詹姆斯·切尼 1 阿尔贝托·齐法格利翁 1 可口、蒂埃里 1 辛尼沙·克文科维奇 1 德利马，塔纳拉·阿里利 1 卡瓦尔坎蒂·德·莫拉（Cavalcanti de Moura）、弗拉维奥·莱昂纳多（Flávio Leonardo） 1 邓朝强 1 塞萨尔·多明格斯 1 凯瑟琳·杜布瓦 1 艾米·费尔蒂（Amy P.Felty）。 1 玛丽贝尔·费尔南德斯 1 杰弗里·福斯特。 1 Anthony C.J.福克斯。 1 安德烈·路易斯·加尔迪诺 1 阿尔瓦罗·加西亚·佩雷斯 1 弗朗索瓦·加里洛 1 乔治·戈蒂尔 1 亚当·格拉博夫斯基 1 古德蒙德·格罗夫 1 卢多维奇·亨利奥 1 伊达尔戈·赫雷罗，梅赛德斯 1 安德烈·赫肖维茨 1 Furio Honsell 1 Hounkonnou、Mahouton Norbert 1 Jun-Ichiro井上 1 埃里克·杰格 1 Jonas Pilgaard凯撒 1 塞萨里·卡利西克 1 Fairouz D.卡马雷丁。 1 弗洛里安·卡姆米勒 1 杰雷米·柯尼格 1 叶卡捷琳娜·科门丹茨卡亚 1 阿纳斯塔西亚·克拉夫丘克·基里柳克 1 拉马纳·库马尔 1 马修·拉金。 1 Lee，Gyesik先生 1 玛丽娜·莱妮莎 1 路易吉·利科里 1 汉斯·沃夫冈·洛伊德 1 罗朝晖 1 比安卡·卢茨 1 马可·马格西 1 阿西亚·马布比 1 彼得·马克西莫维奇 1 Martín-Mateos，弗朗西斯科·耶苏斯 1 麦克布赖德，康纳·托马斯 1 阿尔贝托·莫米利亚诺 1 玛格努斯·奥·米林。 1 Kedar S.Namjoshi。 1 朱利安·纳布克斯 1 尤利安·尼姆图 1 巴勃罗·诺盖拉 1 迈克尔·诺里什 1 布鲁诺·C·d·S·奥利维拉。 1 尤兰达奥尔特加购物中心 1 乌尔德·比哈，西迪 1 尼古拉斯·欧里 1 斯科特·欧文斯 1 米盖尔·帕加诺 1 Park，琼云 1 松武公园 1 维科·帕斯夸尔 1 劳伦斯·查尔斯·保尔森 1 碧姬·品特卡 1 弗兰克·皮森斯 …还有34位作者 全部的 前5名13篇连载文章中引用 19 自动推理杂志 9 函数编程杂志 6 理论计算机科学 1 计算机程序设计科学 1 符号计算杂志 1 MSCS公司。计算机科学中的数学结构 1 Indagationes Mathematicae公司。新系列 1 工程、通信和计算中的应用代数 1 系统设计中的形式化方法 1 数学逻辑季刊（MLQ） 1 数学与人工智能年鉴 1 计算机基础理论 1 计算机科学中的数学 全部的 前5名10个领域引用 71 计算机科学（68至XX） 32 数学逻辑和基础（03-XX） 三 群论与推广（20-XX） 2 范畴理论；同调代数（18-XX） 1 阶、格、有序代数结构（06-XX） 1 一般代数系统（08-XX） 1 交换代数（13-XX） 1 结合环与代数（16-XX） 1 代数拓扑（55-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文