编辑配置文件(在新选项卡中打开) 卢卡·阿尔贝鲁奇 合著者距离 作者ID: 白芥 发布日期: 卢卡·阿尔贝鲁奇 已编制索引的文档: 7出版物自2002年起 合著者: 5位合著者具有5联合出版物 80位合作作者 合著者 2 单作者的 2 亚历山德罗·法奇尼 1 贾格尔,格哈德 1 于尔格Krähenbühl 1 文森佐·萨利潘特 1 托马斯·施图德 全部的 前5名系列 1 哲学逻辑杂志 1 符号逻辑杂志 1 Studia Logica公司 1 纯逻辑与应用逻辑年鉴 1 逻辑与计算杂志 1 IGPL逻辑期刊 领域 7 数学逻辑和基础(03-XX) 三 计算机科学(68至XX) 1 组合数学(05-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用50中的次43文件 引用人▼ 年份▼ 关于常识逻辑的截消。 Zbl 1067.03062号 卢卡·阿尔贝鲁奇;贾格尔,格哈德 17 2005 转移系统受限类上的模态演算层次结构。 兹比尔1191.03012 卢卡·阿尔贝鲁奇;亚历山德罗·法奇尼 15 2009 关于模态演算和哥德尔逻辑。 Zbl 1201.03008号 卢卡·阿尔贝鲁奇;亚历山德罗·法奇尼 11 2009 模态演算层次结构的严格性。 兹比尔1021.03012 卢卡·阿尔贝鲁奇 6 2002 证明模态公式归纳法的合理性。 Zbl 1405.03046号 卢卡·阿尔贝鲁奇;于尔格Krähenbühl;托马斯·施图德 1 2014 证明模态公式归纳法的合理性。 兹比尔1405.03046 卢卡·阿尔贝鲁奇;于尔格Krähenbühl;托马斯·施图德 1 2014 转移系统受限类上的模态演算层次结构。 Zbl 1191.03012号 卢卡·阿尔贝鲁奇;亚历山德罗·法奇尼 15 2009 关于模态演算和哥德尔逻辑。 Zbl 1201.03008号 卢卡·阿尔贝鲁奇;亚历山德罗·法奇尼 11 2009 关于常识逻辑的截消。 Zbl 1067.03062号 卢卡·阿尔贝鲁奇;贾格尔,格哈德 17 2005 模态演算层次结构的严格性。 Zbl 1021.03012号 卢卡·阿尔贝鲁奇 6 2002 所有引用出版物 前5名被引用出版物 全部的 前5名53位作者引用 8 托马斯·施图德 4 卢卡·阿尔贝鲁奇 4 乔瓦娜·达戈斯蒂诺 4 贾格尔,格哈德 4 贾科莫·伦齐 三 马蒂斯·克雷茨 三 路易吉·桑托卡纳莱 2 彼得罗·阿巴特 2 伊万杰利亚·安东尼亚科斯 2 凯·布伦勒 2 塞缪尔·布切利 2 亚历山德罗·法奇尼 2 西尔维奥·吉拉尔迪 2 拉杰夫·普拉巴卡尔·戈尔 2 玛丽亚·乔昂·古韦亚 2 罗马库兹涅茨 2 马丁·兰格 2 塔德乌什·利塔克 2 米歇尔·马蒂 2 Sakalauskaitö,Jératö 2 弗洛里安·维德曼 1 卢卡·埃特罗 1 安东尼斯·阿奇利奥斯 1 埃利·阿纳斯塔西亚迪 1 谢尔盖·阿特莫夫 1 阿努吉·达瓦尔 1 马丁·菲舍尔 1 威廉·扬·福克金 1 方丹,盖勒 1 阿德里安·弗兰卡兰扎 1 朱利安·古铁雷斯 1 沃尔克·哈尔巴赫 1 布莱恩·希尔 1 胡太伟 1 Ingólfsdóttir,安娜 1 马莫鲁·卡内科 1 费利克斯·克莱特克 1 皮埃尔·莱斯坎 1 约翰内斯·马蒂 1 马丁·奥托 1 莱昂纳多·帕切科 1 弗朗西丝卡·波乔列西 1 米歇尔·阿德里安·雷尼尔 1 文森佐·萨利潘特 1 Daniyar S.Shamkanov。 1 贾科莫·西拉里 1 约翰·斯特恩 1 铃木,Nobu-Yuki 1 田中,川崎 1 十个Cate,Balder David 1 阿兰·范·赫斯特。 1 维尼马,伊德 1 阿尔伯特·维瑟 全部的 前5名18篇连载文章中引用 4 理论计算机科学 三 纯逻辑与应用逻辑年鉴 三 应用逻辑杂志 2 立陶宛数学杂志 2 哲学逻辑杂志 2 Studia Logica公司 2 应用非经典逻辑杂志 1 数学笔记 1 符号逻辑杂志 1 合成 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 离散事件动态系统 1 数学逻辑档案 1 数学与人工智能年鉴 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 1 符号逻辑综述 全部的 前5名在7个字段中引用 41 数学逻辑和基础(03-XX) 17 计算机科学(68至XX) 三 组合数学(05-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 阶、格、有序代数结构(06-XX) 1 历史和传记(01-XX) 1 系统论;控制(93至XX) 按年份列出的引文