×
作者ID: 波伦斯基·安德鲁“Polonsky,Andrew”最近发表的zbMATH文章
发布日期: 安德鲁·波伦斯基
主页: 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 诺姆·齐尔伯格

按年份列出的出版物

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

按年份列出的引文