×
作者ID: 克劳斯·尼科莱“Kraus,Nicolai”最近发表的zbMATH文章
发布日期: 尼古拉·克劳斯
主页: 网址:http://www.cs.nott.ac.uk/~psznk公司/
外部链接: ORCID公司·谷歌学者·数据库许可证
编入索引的文档: 24出版物自2013年起,包括6附加arXiv预打印
1进一步贡献
合著者: 19位合著者具有22联合出版物
239位Co-Co作者
全部的 前5名

合著者

3 单作者的
7 托尔斯滕·阿滕柯奇
6 保罗·卡普里奥蒂
4 克里斯蒂安·萨特勒
3 可口、蒂埃里
3 Hötzel Escardó,马汀
3 弗雷德里克·诺德瓦尔·福斯伯格
3 雅各布·冯·劳默
3 徐创杰
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 彼得·霍夫斯特拉(Pieter J.W.Hofstra)。
1 Hou(Favonia)、Kuen-Bang
1 安德烈·乔亚尔
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 菲利普·斯科特。
1 舒尔曼,迈克尔·A。
1 克里斯蒂娜·索雅科娃
1 索洛夫·弗拉基米洛维奇
1 索索、马蒂厄
1 溅出物,Bas
1
1 本诺·范登伯格
1 安德烈亚·维佐西
1 弗拉基米尔·阿列克桑德罗维奇(Vladimir Aleksandrovich)
1 沃伦、迈克尔·奥尔顿
1 诺姆·齐尔伯格

按年份列出的出版物

zbMATH Open中包含的引文

13出版物有被引用72中的次42文件 引用人 年份
同伦类型理论。数学的单价基础。 Zbl 1298.03002号
单价基金项目
200
2013
商诱导类型。 Zbl 1506.03063号
托尔斯滕·阿滕柯奇;保罗·卡普里奥蒂;盖布·迪杰斯特拉;尼古拉·克劳斯;弗雷德里克·诺德瓦尔·福斯伯格
14
2018
偏袒,重温。偏单子作为商归纳归纳类型。 Zbl 1486.68036号
托尔斯滕·阿滕柯奇;丹尼尔森、尼尔斯·安德斯;尼古拉·克劳斯
13
2017
用严格等式推广同伦类型理论。 Zbl 1370.03014号
托尔斯滕·阿滕柯奇;保罗·卡普里奥蒂;尼古拉·克劳斯
9
2016
马丁·洛夫类型理论中的匿名存在概念。 Zbl 1377.03005号
尼古拉·克劳斯;马丁·埃斯卡多;可口、蒂埃里;托尔斯滕·阿滕柯奇
7
2017
具有非递归更高归纳类型的构造。 兹比尔1394.03010
尼古拉·克劳斯
7
2016
单价宇宙层次中的高级同伦。 Zbl 1354.03100号
尼古拉·克劳斯;克里斯蒂安·萨特勒
5
2015
命题截断的一般泛性质。 Zbl 1434.03150号
尼古拉·克劳斯
5
2015
Hedberg定理的推广。 Zbl 1433.03032号
尼古拉·克劳斯;马丁·埃斯卡多;可口、蒂埃里;托尔斯滕·阿滕柯奇
4
2013
自同构型理论中的自由高等群。 Zbl 1453.03003号
尼古拉·克劳斯;托尔斯滕·阿滕柯奇
4
2018
通过良好的基础实现一致性。同伦类型理论中的驯服集商。 Zbl 1498.03033号
尼古拉·克劳斯;雅各布·冯·劳默
2
2020
连接同伦类型理论中序数的构造概念。 Zbl 07724243号
尼古拉·克劳斯;福斯贝格·弗雷德里克·诺德瓦尔;徐创杰
1
2021
函数超出了较高的截断。 Zbl 1373.03011号
保罗·卡普里奥蒂;尼古拉·克劳斯;安德烈亚·维佐西
1
2015
连接同伦类型理论中序数的构造概念。 Zbl 07724243号
尼古拉·克劳斯;福斯贝格·弗雷德里克·诺德瓦尔;徐创杰
1
2021
通过良好的基础实现一致性。同伦类型理论中的驯服集商。 Zbl 1498.03033号
尼古拉·克劳斯;雅各布·冯·劳默
2
2020
商诱导类型。 Zbl 1506.03063号
托尔斯滕·阿滕柯奇;保罗·卡普里奥蒂;加布·迪克斯特拉;尼古拉·克劳斯;弗雷德里克·诺德瓦尔·福斯伯格
14
2018
同伦型理论中的自由高等群。 Zbl 1453.03003号
尼古拉·克劳斯;托尔斯滕·阿滕柯奇
4
2018
偏袒,重温。偏单子作为商归纳归纳类型。 Zbl 1486.68036号
托尔斯滕·阿滕柯奇;丹尼尔森、尼尔斯·安德斯;尼古拉·克劳斯
13
2017
马丁·洛夫类型理论中的匿名存在概念。 兹比尔1377.03005
尼古拉·克劳斯;马丁·埃斯卡多;可口、蒂埃里;托尔斯滕·阿滕柯奇
7
2017
用严格等式推广同伦类型理论。 Zbl 1370.03014号
托尔斯滕·阿滕柯奇;保罗·卡普里奥蒂;尼古拉·克劳斯
9
2016
具有非递归更高归纳类型的构造。 Zbl 1394.03010号
尼古拉·克劳斯
7
2016
单价宇宙层次中的高级同伦。 Zbl 1354.03100号
克劳斯,尼古拉;克里斯蒂安·萨特勒
5
2015
命题截断的一般泛性质。 Zbl 1434.03150号
尼古拉·克劳斯
5
2015
函数超出了较高的截断。 Zbl 1373.03011号
保罗·卡普里奥蒂;尼古拉·克劳斯;安德烈亚·维佐西
1
2015
同伦类型理论。数学的单价基础。 Zbl 1298.03002号
单价基金项目
200
2013
Hedberg定理的推广。 Zbl 1433.03032号
尼古拉·克劳斯;马丁·埃斯卡多;可口、蒂埃里;托尔斯滕·阿滕柯奇
4
2013
全部的 前5名

62位作者引用

7 克劳斯,尼古拉
4 托尔斯滕·阿滕柯奇
4 尼科洛·维尔特里
3 安布罗斯·卡波西
3 科瓦奇,安德拉斯
3 舒尔曼,迈克尔·A。
2 汤姆·J·德容。
2 罗伯特·哈珀
2 Hötzel Escardó,马汀
2 安德鲁·M·皮茨。
2 克里斯蒂安·萨特勒
2 溅出物,Bas
2 南卡罗来纳州斯坦坎普。
2 安德鲁·斯旺。
2 塔尔莫乌斯塔卢
2 范德维德,尼尔斯
1 卡洛·安吉利
1 丹尼尔·安尼科夫
1 安德烈·鲍尔
1 Bidlingmaier,Martin E。
1 布克·巴特
1 西蒙·博利埃
1 乌尔里克·巴赫霍尔茨
1 保罗·卡普里奥蒂
1 埃文·卡瓦洛
1 詹姆斯·查普曼(James T.E.Chapman)。
1 杰斯珀·考克斯
1 可口、蒂埃里
1 丹尼尔森、尼尔斯·安德斯
1 多米尼克·德夫里塞
1 弗洛里安·费索尔
1 马塞洛·菲奥雷(Marcelo P.Fiore)。
1 贾尔·塔克斯·弗拉滕
1 科林·杰尼特
1 简·赫尔曼·杰弗斯
1 谢尔盖·冈查洛夫
1 菲利普·哈塞尔瓦特(Philipp G.Haselwarter)。
1 Hou(Favonia)、Kuen-Bang
1 胡杰森Z.S。
1 黄昌琴
1 瓦列里·伊萨耶夫
1 安布罗斯·拉丰
1 丹尼尔·李卡塔(Daniel R.Licata)。
1 彼得·勒法努,朗斯丹
1 新款,Max S。
1 弗雷德里克·诺德瓦尔·福斯伯格
1 碧姬·品特卡
1 弗兰克·皮森斯
1 平约,枪
1 马西耶·皮罗格
1 克里斯托夫·劳赫
1 埃格伯特·里杰克
1 乌尔里希·舍普
1 卢茨·施罗德
1 尼古拉斯·塔巴鲁
1 上村,太极
1 本诺·范登伯格
1 雅各布·冯·劳默
1 Niels F.W.Voorneveld。
1 王殿辉
1 王希哲
1 徐创杰

按年份列出的引文