×

尼古拉斯·斯莫尔博内

作者ID: 小骨骼尼古拉斯最近由“Smallbone,Nicholas”撰写的zbMATH文章
发布日期: 尼古拉斯·斯莫尔博内
已编制索引的文档: 12出版物自2009年起,包括1个附加arXiv预打印
合著者: 12位合著者具有11联合出版物
127位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

11出版物有被引用86中的次60文件 引用人 年份
使用理论探索实现归纳证明的自动化。 Zbl 1381.68263号
科恩·克莱森;穆阿·约翰逊;丹·罗森;尼古拉斯·斯莫尔博内
23
2013
编码单态和多态类型。 兹比尔1381.68259
贾斯敏·克里斯蒂安·布兰切特;Böhme,萨沙;安德烈·波佩斯库;尼古拉斯·斯莫尔博内
16
2013
嬉皮士:将理论探索融入证明助手中。 Zbl 1304.68157号
穆阿·约翰逊;丹·罗森;尼古拉斯·斯莫尔博内;科恩·克莱森
9
2014
提示:大量的归纳问题。 Zbl 1417.68179号
科恩·克莱森;穆阿·约翰逊;丹·罗森;尼古拉斯·斯莫尔博内
7
2015
用单调的方式把它整理出来。在多排序和未排序的一阶逻辑之间进行转换。 Zbl 1341.03017号
科恩·克莱森;安·利利斯特罗姆;尼古拉斯·斯莫尔博内
7
2011
方程逻辑中一阶Horn公式的有效编码。 兹比尔1511.68308
科恩·克莱森;尼古拉斯·斯莫尔博内
6
2018
编码单态和多态类型。 Zbl 1445.68327号
贾斯敏·克里斯蒂安·布兰切特;Böhme,萨沙;安德烈·波佩斯库;尼古拉斯·斯莫尔博内
6
2016
Twee:方程定理证明器。 Zbl 07437103号
尼古拉斯·斯莫尔博内
5
2021
为忙碌的程序员提供快速规范。 兹伯利1418.68037
尼古拉斯·斯莫尔博内;穆阿·约翰逊;科恩·克莱森;马克西米利安·阿尔盖德
4
2017
使用快速检查和PULSE查找Erlang中的竞争条件。 Zbl 1302.68078号
科恩·克莱森;米查尔·帕尔卡;尼古拉斯·斯莫尔博内;约翰·休斯;汉斯·斯文森;艺术,托马斯;乌尔夫·维格
2
2009
提示:用于感应式证明仪的工具。 Zbl 1471.68316号
丹·罗森;尼古拉斯·斯莫尔博内
1
2015
Twee:方程定理证明器。 Zbl 07437103号
尼古拉斯·斯莫尔博内
5
2021
方程逻辑中一阶Horn公式的有效编码。 Zbl 1511.68308号
科恩·克莱森;尼古拉斯·斯莫尔博内
6
2018
为忙碌的程序员提供快速规范。 Zbl 1418.68037号
尼古拉斯·斯莫尔博内;穆阿·约翰逊;科恩·克莱森;马克西米利安·阿尔盖德
4
2017
编码单态和多态类型。 Zbl 1445.68327号
贾斯敏·克里斯蒂安·布兰切特;Böhme,萨沙;安德烈·波佩斯库;尼古拉斯·斯莫尔博内
6
2016
提示:大量的归纳问题。 Zbl 1417.68179号
科恩·克莱森;穆阿·约翰逊;丹·罗森;尼古拉斯·斯莫尔博内
7
2015
提示:电感式校准仪的工具。 Zbl 1471.68316号
丹·罗森;尼古拉斯·斯莫尔博内
1
2015
嬉皮士:将理论探索融入证明助手中。 Zbl 1304.68157号
穆阿·约翰逊;丹·罗森;尼古拉斯·斯莫尔博内;科恩·克莱森
9
2014
使用理论探索实现归纳证明的自动化。 Zbl 1381.68263号
科恩·克莱森;穆阿·约翰逊;丹·罗森;尼古拉斯·斯莫尔博内
23
2013
编码单态和多态类型。 Zbl 1381.68259号
贾斯敏·克里斯蒂安·布兰切特;Böhme,萨沙;安德烈·波佩斯库;尼古拉斯·斯莫尔博内
16
2013
用单调的方式把它整理出来。在多排序和未排序的一阶逻辑之间进行转换。 Zbl 1341.03017号
科恩·克莱森;安·利利斯特罗姆;尼古拉斯·斯莫尔博内
7
2011
使用快速检查和PULSE查找Erlang中的竞争条件。 Zbl 1302.68078号
科恩·克莱森;米查尔·帕尔卡;尼古拉斯·斯莫尔博内;约翰·休斯;汉斯·斯文森;艺术,托马斯;乌尔夫·维格
2
2009
全部的 前5名

102位作者引用

11 贾斯敏·克里斯蒂安·布兰切特
6 约瑟夫·厄本
5 穆阿·约翰逊
5 贾尔斯·里格尔
5 尼古拉斯·斯莫尔博内
5 杰夫·萨特克利夫
5 安德烈·沃伦科夫
4 斯特凡·赫兹尔
4 塞萨里·卡利西克
4 科瓦奇,劳拉·伊尔迪科
亚历山大·本特坎普
Böhme,萨沙
科恩·克莱森
佩特拉·霍佐娃
安德烈·波佩斯库
扬尼克·维林
乌韦·沃尔德曼
2 克里斯托夫·埃瓦尔德·本兹穆勒
2 艾哈迈德·巴亚特
2 西蒙·克鲁恩斯
2 马丁·德沙奈斯
2 安德烈·杜阿尔特
2 Thibault Gauthier
2 洛伦佐·盖里
2 马尔顿哈杜
2 皮埃尔·哈尔马格兰德
2 康斯坦丁·科洛文
2 劳伦斯·查尔斯·保尔森
2 丹·罗森
2 索菲·托雷特
2 佩塔·武克米罗维奇
1 马克西米利安·阿尔盖德
1 玛丽亚·阿尔普特
1 奥曼·波霍拉,约翰内斯
1 托马斯·博埃里
1 劳拉·博奇
1 詹姆斯兄弟斯顿
1 乍得·布朗·爱德华
1 卢卡斯·布尔瓦恩
1 阿兰·邦迪
1 纪尧姆·伯勒
1 纪尧姆·伯里
1 拉斐尔·考德利埃
1 伊曼纽尔·德·安吉利斯
1 大卫·德拉哈耶
1 穆萨·登巴
1 mnesc博士,Isabela
1 塞巴斯蒂安·埃伯哈德
1 穆纳乔·埃切宁
1 索尔伦·哈拉·埃纳尔斯多蒂尔
1 克莱门斯·艾森霍费尔
1 乔瓦尼·法布雷蒂
1 法比奥·菲奥拉万蒂
1 雅克·弗莱里奥。
1 马蒂亚斯·弗勒里
1 帕米娜·乔治奥
1 尼科斯·戈罗吉安尼斯
1 S.A.格雷查尼克。
1 谢尔盖·格雷查尼克
1 大卫·格林纳韦
1 古德蒙德·格罗夫
1 乔纳森·赫拉斯
1 奥利维尔·赫曼特
1 汤姆·M·海斯克斯。
1 伊扎基,沙查尔
1 米科拉什·亚诺塔
1 都铎Jebelean
1 蒋亚青
1 叶卡捷琳娜·科门丹茨卡亚
1 亚历山大·克劳斯
1 丹尼尔·库尔温
1 彼得罗·拉米
1 伊万·拉内斯
1 朱利安·兰格
1 林玉辉
1 埃文·麦克林
1 托比亚斯·尼普科
1 米罗斯拉夫·奥沙克
1 帕帕帕纳吉奥图,Petros
1 丹尼尔·帕尔多
1 尼古拉斯·佩尔蒂埃
1 阿曼多·佩森提·格里蒂
1 阿尔贝托·佩特罗西
1 Jelle Piepenbrock
1 毛里齐奥·普罗埃蒂
1 佛朗哥·雷蒙迪
1 安德鲁·雷诺兹
1 克劳迪奥·萨塞尔多蒂·科恩
1 约翰·肖斯·沃尔(Johannes Schoisswohl)
1 伊坦·辛格
1 斯莫尔卡,斯特芬·尤尔夫
1 阿尔伯特·斯特克迈尔
1 亚历山大·斯蒂恩
1 Jean-Bernard斯特凡尼
1 斯特拉图拉特,索林
1 马丁·苏达
1 尼克·苏尔塔纳
1 泰斯,弗兰克
1 塞萨尔·蒂内利
1 德米特里·特拉泰尔
…还有另外两位作者

按年份列出的引文