编辑配置文件(在新选项卡中打开) 维托·米歇尔·阿布鲁西 合著者距离 作者ID: 阿布鲁西·维托·米歇尔 发布日期: V.Michele Abrusci;维托·米歇尔·阿布鲁西;V.M.Abrusci。 更多。。。较少的 已编制索引的文档: 37出版物自1981年以来,包括3本书 审查活动: 4评论 合著者: 13合著者具有17联合出版物 61位合作作者 全部的 前5名合著者 20 单作者的 三 克劳迪娅·卡萨迪奥 三 克里斯托夫·福奎雷 三 罗伯特·梅利 2 吉安·伊夫·吉拉德 2 吉安弗兰科·马斯卡里 2 马尔科·罗曼诺 2 洛伦佐托托拉·德·法尔科 2 雅克·范德维勒 1 Maringelli,埃琳娜 1 梅达利亚,M.特蕾莎 1 波卡罗、卡米洛 1 保罗·吕特 1 杰奎琳·瓦泽列斯 全部的 前5名系列 2 符号逻辑杂志 2 Studia Logica公司 2 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 2 IGPL逻辑杂志 2 Unitext(Unitext) 1 马特马提奇 1 理论计算机科学 1 Rendiconti del Matematico研讨会 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 计算机科学中的数学结构 1 数学逻辑档案 1 逻辑、语言与信息杂志 1 应用逻辑杂志 1 科学观点 领域 37 数学逻辑和基础(03-XX) 5 计算机科学(68至XX) 三 历史和传记(01-XX) 2 总体主题;集合(00-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 17出版物有被引用144中的次111文件 引用人▼ 年份▼ 纯非交换经典线性命题逻辑的阶段语义和序列演算。 Zbl 0746.03044号 V.Michele Abrusci 51 1991 非交换逻辑。I: 乘法片段。 Zbl 0962.03054号 V.Michele Abrusci;保罗·吕特 30 2000 Lambek句法演算与直觉主义线性命题逻辑的比较。 Zbl 0719.03005号 V.Michele Abrusci 17 1990 非交换直觉主义线性逻辑。 Zbl 0810.03005号 V.Michele Abrusci 12 1990 Lambek演算的经典保守推广。 Zbl 1019.03018号 V.Michele Abrusci 11 2002 直觉线性命题逻辑的序列演算。 兹比尔0787.03005 V.Michele Abrusci 4 1990 组合问题中扩张器的一些应用。一、。 兹伯利0634.03057 V.M.Abrusci。;吉拉德,J.Y。;范德维勒,J。 4 1987 非交换证明网。 Zbl 0828.03028号 V.Michele Abrusci 4 1995 组合问题中扩张器的一些应用。三: 通过减少F序列(F弱有限扩张器)获得独立性结果。 Zbl 0701.03028号 V.Michele Abrusci 2 1989 线性逻辑的循环乘法证明网及其在语言解析中的应用。 Zbl 1365.03039号 维托·米歇尔·阿布鲁西;罗伯特·梅利 2 2015 一种新的循环证明网的正确性准则。 Zbl 0915.03046号 V.Michele Abrusci;埃琳娜·马林盖利 1 1998 通用推理与特殊推理:神经成像技术研究。 Zbl 1306.03003号 阿布鲁西,V.米歇尔;克劳迪娅·卡萨迪奥;梅达利亚,M.特蕾莎;波卡罗、卡米洛 1 2013 扩张器,广义Goodstein序列,独立性结果。 Zbl 0634.03056号 V.Michele Abrusci 1 1987 关于剩余。 Zbl 1285.03012号 V.Michele Abrusci 1 2014 线性逻辑的循环乘法加性证明网及其在语言解析中的应用。 Zbl 1478.03081号 维托·米歇尔·阿布鲁西;罗伯特·梅利 1 2016 本体论和连贯空间。 兹比尔1317.68240 V.M.Abrusci。;M.罗曼诺。;Fouqueré,C。 1 2011 乘法循环线性逻辑和Lambek演算的证明网。 Zbl 1456.03092号 V.Michele Abrusci;罗伯特·梅利 1 2019 乘法循环线性逻辑和Lambek演算的证明网。 Zbl 1456.03092号 V.Michele Abrusci;罗伯特·梅利 1 2019 线性逻辑的循环乘法加性证明网及其在语言解析中的应用。 Zbl 1478.03081号 维托·米歇尔·阿布鲁西;罗伯特·梅利 1 2016 线性逻辑的循环乘法证明网及其在语言解析中的应用。 Zbl 1365.03039号 维托·米歇尔·阿布鲁西;罗伯特·梅利 2 2015 关于剩余。 Zbl 1285.03012号 V.Michele Abrusci 1 2014 通用推理与特殊推理:神经成像技术研究。 兹比尔1306.03003 V.Michele Abrusci;克劳迪娅·卡萨迪奥;梅达利亚,M.特蕾莎;波卡罗、卡米洛 1 2013 本体论和连贯空间。 Zbl 1317.68240号 V.M.Abrusci。;M.罗曼诺。;富凯,C。 1 2011 Lambek演算的经典保守推广。 Zbl 1019.03018号 V.Michele Abrusci 11 2002 非交换逻辑。一: 乘法片段。 兹伯利0962.03054 V.Michele Abrusci;保罗·吕特 30 2000 循环证明网的一个新的正确性准则。 Zbl 0915.03046号 V.Michele Abrusci;埃琳娜·马林盖利 1 1998 非交换证明网。 Zbl 0828.03028号 V.Michele Abrusci 4 1995 纯非交换经典线性命题逻辑的阶段语义和序列演算。 Zbl 0746.03044号 V.Michele Abrusci 51 1991 Lambek句法演算与直觉主义线性命题逻辑的比较。 Zbl 0719.03005号 V.Michele Abrusci 17 1990 非交换直觉主义线性逻辑。 Zbl 0810.03005号 V.Michele Abrusci 12 1990 直觉线性命题逻辑的序列演算。 Zbl 0787.03005号 V.Michele Abrusci 4 1990 组合问题中扩张器的一些应用。三: 通过减少F序列(F弱有限扩张器)获得独立性结果。 兹伯利0701.03028 V.Michele Abrusci 2 1989 组合问题中扩张器的一些应用。一、。 Zbl 0634.03057号 V.M.Abrusci。;吉拉德,J.Y。;范德维勒,J。 4 1987 扩张器,广义Goodstein序列,独立性结果。 Zbl 0634.03056号 V.Michele Abrusci 1 1987 所有引用的出版物 前5名被引用出版物 全部的 前5名116位作者引用 11 库兹涅佐夫(Kuznetsov,Stepan L'vovich) 9 维托·米歇尔·阿布鲁西 8 Max Iosifovich,卡诺维奇 8 安德烈·斯克洛夫 7 沃伊切赫·巴斯科夫斯基 6 罗伯特·梅利 5 理查德·布鲁特(Richard F.Blute)。 5 克劳迪娅·卡萨迪奥 三 迪迪埃加尔米奇 三 冈田三弘 三 保罗·吕特 三 罗伯特·A·G·西利。 2 丹尼斯·贝切特 2 埃本·布莱斯德尔 2 科科特,J.罗宾B。 2 达戈斯蒂诺,马塞洛 2 科斯塔·多森 2 劳伦斯·邓恩 2 克里斯托夫·福奎雷 2 尼古拉斯·加拉托斯 2 诺里希罗·卡米德 2 约阿希姆·兰贝克 2 迈克尔·穆尔特加特 2 Vivek Nigam先生 2 克莱顿·彼得森 2 马里奥广场 2 伊莱恩·皮门特尔 2 丹尼尔·波雷洛 2 加布里埃尔·普奇尼 2 夸特里尼,米里亚姆 2 克里斯蒂安·雷托雷 2 菲利普·斯科特。 2 川崎捷瑞 2 杰米·维卡里 2 斯坦利·斯科特·韦纳 2 安德烈亚斯·魏尔曼 1 阿克拉维奥、马泰奥 1 Jean-Marc安德烈奥利 1 阿莱、东山英彦 1 卡洛斯·阿雷塞斯 1 吉安路易吉·贝林 1 拉斐拉·伯纳迪 1 卡罗琳·布朗 1 布鲁内尔,阿洛伊斯 1 Samuel R.巴斯。 1 蝉蜕、阿加塔 1 玛丽亚·尤金妮亚·科内霍 1 马塞洛·达·S·科里亚 1 米歇尔·德·斯梅特 1 Alok Debanth先生 1 Lorenz德米 1 玛丽·雷内·弗勒里 1 安妮·福雷特 1 加贝,多夫·M。 1 苏加塔·戈什 1 道格·格尔 1 滨野、Masahiro 1 长谷川、Masahito 1 奥利维尔·赫曼特 1 科莱门·霍特曼 1 海兰德·J·马丁·E·。 1 罗莎莉,伊姆霍夫 1 伊利,皮埃尔 1 彼得·吉普森 1 Aleksandra,Ki she lak-Malinowska 1 乌尔里希·威廉·科伦巴赫 1 Mirosławaka-Gawiejnowicz,米洛斯·阿瓦 1 Micha Kozakł 1 伊夫·拉丰特 1 弗朗索瓦·拉马克 1 乔瓦尼·弗朗西斯科·马斯卡里 1 杰苏斯·麦地那 1 戴尔·艾伦·米勒 1 格林·莫里尔(Glyn V.Morrill)。 1 Misao Nagayama 1 Nguyên,LêThành Dũng 1 Jean-Marc,诺丁 1 小野,Hiroakira 1 帕南加登,普拉卡什 1 彼得·帕平豪斯 1 马蒂·彭特斯 1 佐兰·佩特里奇 1 雅罗斯拉夫·伊戈列维奇·彼得鲁金 1 保罗·皮斯通 1 帕瓦·阿切克 1 沃恩·R·普拉特。 1 法布里奇奥·普奇 1 昆廷·普伊特 1 大卫·J·派姆。 1 Rachůnek,Jiří 1 Ramírez Poussa,埃洛伊萨 1 迈克尔·拉特扬 1 Edmund P.罗宾逊。 1 马尔科·罗曼诺 1 新南威尔士州Ryzhkova。 1 梅赫努什·萨德扎德 1 佐藤,肯塔罗 1 瓦西里·沙金 1 曼尼什·施里瓦斯塔瓦 1 汉斯·斯梅萨特 …还有16位作者 全部的 前5名30篇连载文章中引用 11 理论计算机科学 7 符号逻辑杂志 7 Studia Logica公司 6 纯逻辑与应用逻辑年鉴 4 逻辑、语言与信息杂志 4 应用非经典逻辑杂志 4 计算机科学中的逻辑方法 三 纯粹与应用代数杂志 三 自动推理杂志 三 计算机科学中的数学结构 三 数学逻辑档案 三 数学逻辑季刊(MLQ) 三 符号逻辑公报 2 哲学逻辑杂志 2 逻辑科公报 2 信息与计算 2 应用逻辑杂志 1 国际理论物理学杂志 1 代数与逻辑 1 代数普遍性 1 斯洛伐克数学 1 美国数学学会会刊 1 计算机科学与技术杂志 1 国际近似推理杂志 1 RAIRO公司。Informatique Théorique et Applications公司 1 逻辑程序设计理论与实践 1 Oberwolfach报告 1 泛逻辑 1 对称 1 游戏 全部的 前5名在14个字段中引用 103 数学逻辑和基础(03-XX) 23 计算机科学(68至XX) 11 范畴理论;同调代数(18-XX) 8 阶、格、有序代数结构(06-XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 组合数学(05-XX) 1 一般代数系统(08-XX) 1 结合环与代数(16-XX) 1 \(K\)理论(19-XX) 1 凸和离散几何(52至XX) 1 流形和细胞复合体(57至XX) 1 量子理论(81-XX) 按年份列出的引文