编辑配置文件(在新选项卡中打开) 尼古拉斯·斯莫尔博内 合著者距离 作者ID: 小骨骼尼古拉斯 发布日期: 尼古拉斯·斯莫尔博内 已编制索引的文档: 12出版物自2009年起,包括1个附加arXiv预打印 合著者: 12位合著者具有11联合出版物 127位合作作者 全部的 前5名合著者 1 单作者的 7 科恩·克莱森 5 穆阿·约翰逊 4 丹·罗森 2 贾斯敏·克里斯蒂安·布兰切特 2 Böhme,萨沙 2 安德烈·波佩斯库 1 马克西米利安·阿尔盖德 1 艺术,托马斯 1 安·利利斯特罗姆 1 米查·H·帕卡。 1 汉斯·斯文森 1 乌尔夫·维格 系列 1 函数编程杂志 1 计算机科学中的逻辑方法 字段 11 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 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名被引用出版物 全部的 前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 德米特里·特拉泰尔 …还有另外两位作者 全部的 前5名14篇连载文章中引用 13 自动推理杂志 4 AI通信 4 计算机科学中的逻辑方法 2 纯逻辑与应用逻辑年鉴 1 信息处理信件 1 编程和计算机软件 1 理论计算机科学 1 符号计算杂志 1 国际近似推理杂志 1 计算的形式方面 1 函数编程杂志 1 计算机基础理论 1 计算机科学中的数学 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 59 计算机科学(68至XX) 21 数学逻辑和基础(03-XX) 1 数论(11-XX) 1 群论与推广(20-XX) 按年份列出的引文