编辑配置文件(在新选项卡中打开) 安德鲁·波伦斯基 合著者距离 作者ID: 波伦斯基·安德鲁 发布日期: 安德鲁·波伦斯基 主页: https://compsci.appstate.edu/faculty-staff/dr-andrew-polonsky网站 外部链接: ORCID公司·ResearchGate研究之门·数据库许可证 已编制索引的文档: 21出版物自2011年起,包括2个附加arXiv预打印 1进一步贡献 合著者: 14合著者具有17联合出版物 332合著作者 全部的 前5名合著者 4 单作者的 7 约尔格恩德鲁利斯 5 亨德里克斯,迪米特里 4 扬·威廉·克鲁普 4 朱利奥·曼佐内托 三 帕特里夏·约翰 2 Helle Hvid Hansen先生 2 贝内代托·恩特里吉拉 2 亚历山大·席尔瓦 2 理查德·斯塔特曼 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 罗伯特·哈珀 1 雨果·赫贝林 1 马丁·霍夫曼 1 彼得·霍夫斯特拉(Pieter J.W.Hofstra)。 1 Hötzel Escardó,马丁 1 侯(法沃尼亚),Kuen Bang 1 安德烈·乔亚尔 1 Krzysztof卡普尔金 1 约阿希姆·科克 1 尼古拉·克劳斯 1 李诺 1 丹·利卡塔 1 彼得·勒法努·卢姆斯代恩 1 罗朝晖 1 阿西亚·马布比 1 马丁·洛夫(Martin-Löf,Per) 1 谢尔盖·阿列克桑德罗维奇·梅利霍夫 1 迈克尔·纳哈斯 1 埃里克·帕尔姆格伦 1 阿尔瓦罗·佩莱奥 1 艾米丽·里尔 1 埃格伯特·里杰克 1 多梅尼科·鲁阿波洛 1 亚历克西斯·索林 1 达娜·斯图尔特·斯科特 1 菲利普·斯科特。 1 Michael A.舒尔曼。 1 雅各布·格鲁·西蒙森 1 克里斯蒂娜·索贾科娃 1 索洛夫·弗拉基米洛维奇 1 索索、马蒂厄 1 溅出物,Bas 1 1 本诺·范登伯格 1 弗拉基米尔·阿列克桑德罗维奇(Vladimir Aleksandrovich) 1 沃伦、迈克尔·奥尔顿 1 诺姆·齐尔伯格 系列 5 计算机科学中的逻辑方法 1 符号逻辑杂志 1 逻辑与计算杂志 1 MSCS公司。计算机科学中的数学结构 1 应用的分类结构 字段 17 数学逻辑和基础(03-XX) 9 计算机科学(68-XX) 三 范畴理论;同调代数(18-XX) 1 一般代数系统(08-XX) 1 代数拓扑(55-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 15出版物有被引用43中的次28文件 引用人▼ 年份▼ 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 199 2013 无限重写和等式推理的共创性框架。 Zbl 1366.68114号 约尔格恩德鲁利斯;Helle Hvid Hansen先生;亨德里克斯,迪米特里;安德鲁·波伦斯基;亚历山大·席尔瓦 9 2015 无限重写。 Zbl 1354.03008号 约尔格恩德鲁利斯;安德鲁·波伦斯基 8 2013 公理化报价。 Zbl 1247.03022号 安德鲁·波伦斯基 5 2011 无限重写和无限等式逻辑的共性基础。 Zbl 1459.68089号 约尔格恩德鲁利斯;Helle Hvid Hansen先生;亨德里克斯,迪米特里;安德鲁·波伦斯基;亚历山大·席尔瓦 三 2018 莫里斯观察理论的新结果:分离不可分割的事物的好处。 兹伯利1387.03011 弗拉维恩·布鲁瓦特;朱利奥·曼佐内托;安德鲁·波伦斯基;多梅尼科·鲁阿波洛 三 2016 使用时钟Böhm树识别lambda-terms。 Zbl 1315.03025号 恩德鲁利斯,Joerg;亨德里克斯,迪米特里;扬·威廉·克鲁普;安德鲁·波伦斯基 三 2014 Böhm树理论和Sallé猜想中的可拓度。 Zbl 1515.03066号 贝内代托·恩特里吉拉;朱利奥·曼佐内托;安德鲁·波伦斯基 2 2019 不动点性质和利用双不动点组合子的技术。 Zbl 1444.03019号 朱利奥·曼佐内托;安德鲁·波伦斯基;亚历克西斯·索林;雅各布·格鲁·西蒙森 2 2019 深度归纳:(真正的)嵌套类型的归纳规则。 Zbl 07250946号 帕特里夏·约翰;安德鲁·波伦斯基 2 2020 \(\lambda^*\)的扩展性。 Zbl 1434.03058号 安德鲁·波伦斯基 2 2015 某些逗号类别的本地表示能力。 Zbl 1432.18005号 安德鲁·波伦斯基;帕特里夏·约翰 1 2020 反驳Sallé的长期猜测。 兹伯利1434.03052 贝内代托·恩特里吉拉;朱利奥·曼佐内托;安德鲁·波伦斯基 1 2017 计时lambda演算。 Zbl 1387.03013号 约尔格恩德鲁利斯;亨德里克斯,迪米特里;扬·威廉·克鲁普;安德鲁·波伦斯基 1 2017 H的范围属性失败。 Zbl 1294.03017号 安德鲁·波伦斯基 1 2012 深度归纳:(真正的)嵌套类型的归纳规则。 Zbl 07250946号 帕特里夏·约翰;安德鲁·波伦斯基 2 2020 某些逗号类别的本地表示能力。 Zbl 1432.18005号 安德鲁·波伦斯基;帕特里夏·约翰 1 2020 Böhm树理论和Sallé猜想中的可拓度。 Zbl 1515.03066号 贝内代托·恩特里吉拉;朱利奥·曼佐内托;安德鲁·波伦斯基 2 2019 不动点性质和利用双不动点组合子的技术。 Zbl 1444.03019号 朱利奥·曼佐内托;安德鲁·波伦斯基;亚历克西斯·索林;雅各布·格鲁·西蒙森 2 2019 无限重写和无限等式逻辑的共性基础。 Zbl 1459.68089号 约尔格恩德鲁利斯;Helle Hvid Hansen先生;亨德里克斯,迪米特里;安德鲁·波伦斯基;亚历山大·席尔瓦 三 2018 反驳Sallé的长期猜测。 Zbl 1434.03052号 贝内代托·恩特里吉拉;朱利奥·曼佐内托;安德鲁·波伦斯基 1 2017 计时lambda演算。 兹伯利1387.03013 约尔格恩德鲁利斯;亨德里克斯,迪米特里;扬·威廉·克鲁普;安德鲁·波伦斯基 1 2017 莫里斯观察理论的新结果:分离不可分割的事物的好处。 Zbl 1387.03011号 弗拉维恩·布鲁瓦特;朱利奥·曼佐内托;安德鲁·波伦斯基;多梅尼科·鲁阿波洛 三 2016 用于无限改写和等式推理的共生成框架。 Zbl 1366.68114号 约尔格恩德鲁利斯;Helle Hvid Hansen先生;亨德里克斯,迪米特里;安德鲁·波伦斯基;亚历山大·席尔瓦 9 2015 \(\lambda^*\)的扩展性。 Zbl 1434.03058号 安德鲁·波伦斯基 2 2015 使用时钟Böhm树识别lambda-terms。 Zbl 1315.03025号 约尔格·恩德鲁利斯;亨德里克斯,迪米特里;扬·威廉·克鲁普;安德鲁·波伦斯基 三 2014 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 199 2013 无限重写。 Zbl 1354.03008号 约尔格恩德鲁利斯;安德鲁·波伦斯基 8 2013 H的范围属性失败。 Zbl 1294.03017号 安德鲁·波伦斯基 1 2012 公理化报价。 Zbl 1247.03022号 安德鲁·波伦斯基 5 2011 所有引用出版物 排名前五的出版物 全部的 前5名37位作者引用 7 安德鲁·波伦斯基 5 约尔格恩德鲁利斯 5 Benedetto Intrigila公司 4 扬·威廉·克鲁普 4 朱利奥·曼佐内托 三 库卡斯·扎伊卡 三 亨德里克斯,迪米特里 三 理查德·斯塔特曼 2 科恩、利隆 2 罗德·德弗里杰尔 2 恩里科·吉奥尔齐 2 帕特里夏·约翰 2 卡洛斯·隆巴迪 2 亚历杭德罗·雷奥斯 1 托尔斯滕·阿滕柯奇 1 雷娜·巴赫西 1 海宁·巴索尔德 1 弗拉维恩·布鲁瓦特 1 雷米·塞尔达 1 西里尔·科恩 1 可口、蒂埃里 1 达斯,苏达萨特瓦 1 朱塞佩·德拉·佩纳 1 Farmer,William M。 1 Helle Hvid Hansen先生 1 西蒙·胡贝尔 1 丹尼尔·杰弗里斯 1 安布罗斯·卡波西 1 朱哈尼Karhumaki 1 叶卡捷琳娜·科门丹茨卡亚 1 安德斯·莫特伯格 1 鲁本·罗伊,N.S。 1 德米特里·罗兹普洛哈斯 1 多梅尼科·鲁阿波洛 1 阿列克西·萨雷拉 1 亚历山大·席尔瓦 1 莱昂内尔·沃克斯-奥克莱 全部的 前5名8篇连载文章中引用 10 计算机科学中的逻辑方法 2 MSCS公司。计算机科学中的数学结构 1 信息学报 1 理论计算机科学 1 信息与计算 1 Indagationes Mathematicae公司。新系列 1 应用的分类结构 1 逻辑程序设计理论与实践 全部的 前5名在6个字段中引用 20 数学逻辑和基础(03-XX) 17 计算机科学(68-XX) 2 范畴理论;同调代数(18-XX) 2 代数拓扑(55-XX) 1 一般代数系统(08-XX) 1 动力系统和遍历理论(37至XX) 按年份列出的引文