编辑配置文件(在新选项卡中打开) 安德烈亚·马西尼 合著者距离 作者ID: 马西尼亚安德里亚 发布日期: 安德烈亚·马西尼;A.马西尼。 已编制索引的文档: 37出版物自1989年起 合著者: 11位合著者具有35联合出版物 239位Co-Co作者 全部的 前5名合著者 2 单作者的 12 西蒙·马提尼 10 斯特凡诺游击队 8 玛格丽塔·佐齐 7 斯特凡诺·巴拉泰拉 5 卢卡·维甘诺 4 马尔科·沃尔佩 3 达尔拉戈,乌戈 1 萨姆·阿夫拉基 1 马可·丹拉托托 1 安德烈亚·马吉奥洛·谢蒂尼 1 阿里·桑蒂亚 全部的 前5名系列 5 理论计算机科学 3 应用非经典逻辑杂志 3 《数理逻辑季刊》 2 纯逻辑与应用逻辑年鉴 2 逻辑与计算杂志 2 IGPL逻辑杂志 2 ACM计算逻辑事务 1 符号逻辑杂志 1 圣母院形式逻辑期刊 1 逻辑科公报 1 骨髓间充质干细胞。计算机科学中的数学结构 1 欧洲运筹学杂志 1 RAIRO公司。Informatique Théorique et Applications公司 1 数学逻辑档案 1 多值逻辑与软计算杂志 1 公理 领域 34 数学逻辑和基础(03-XX) 11 计算机科学(68至XX) 5 量子理论(81-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 25出版物有被引用151中的次87文件 引用人▼ 年份▼ 模态证明的计算解释。 Zbl 0867.03016号 西蒙·马提尼;安德烈亚·马西尼 21 1996 二序演算:模态的证明理论。 Zbl 0819.03045号 安德烈亚·马西尼 14 1992 量子隐式计算复杂性。 兹比尔1186.68209 达尔拉戈,乌戈;安德烈亚·马西尼;玛格丽塔·佐齐 12 2010 关于指数规则的精细结构。 Zbl 0835.03020号 西蒙·马提尼;安德烈亚·马西尼 10 1995 量子lambda演算与测量的融合结果。 Zbl 1347.68133号 达尔拉戈,乌戈;安德烈亚·马西尼;玛格丽塔·佐齐 10 2011 基于扩展序列的(线性)指数分析。 Zbl 0934.03077号 斯特凡诺游击队;西蒙·马提尼;安德烈亚·马西尼 9 1998 解析MELL证明网络。 Zbl 0974.68077号 游击队,S。;A.马西尼。 8 2001 二阶演算:直觉主义和自然演绎。 Zbl 0793.03013号 安德烈亚·马西尼 8 1993 关于具有经典控制的无测量量子lambda演算。 Zbl 1166.68016号 达尔拉戈,乌戈;安德烈亚·马西尼;玛格丽塔·佐齐 8 2009 对位置逻辑的实证研究。 Zbl 1023.03052号 斯特凡诺·巴拉泰拉;安德烈亚·马西尼 7 2003 共享证明网的一致性。 Zbl 1019.03040号 斯特凡诺游击队;西蒙·马提尼;安德烈亚·马西尼 7 2003 无限时间证明理论的探讨。 Zbl 1059.03007号 斯特凡诺·巴拉泰拉;安德烈亚·马西尼 6 2004 量子态变换的模态推导系统。 Zbl 1236.68073号 安德烈亚·马西尼;卢卡·维甘诺;玛格丽塔·佐齐 6 2011 校对网、垃圾和计算。 Zbl 0956.68024号 游击队,S。;马提尼,S。;A.马西尼。 5 2001 捆绑分支时态逻辑的标记自然演绎。 Zbl 1252.03038号 安德烈亚·马西尼;卢卡·维甘诺;马尔科·沃尔佩 5 2011 线性逻辑的模态视图。 Zbl 0814.03038号 西蒙·马提尼;安德烈亚·马西尼 3 1994 校对网、垃圾和计算。 Zbl 1063.03535号 游击队,S。;马提尼,S。;Masini,A。 2 1997 一种二维度量时间逻辑。 Zbl 1521.03029号 斯特凡诺·巴拉泰拉;安德烈亚·马西尼 2 2020 从2-序列和线性嵌套序列到正规模态逻辑的自然演绎。 Zbl 1505.03054号 西蒙·马提尼;安德烈亚·马西尼;玛格丽塔·佐齐 2 2021 稠密时间域上度量时态逻辑的无限变量。 Zbl 1049.03015号 斯特凡诺·巴拉泰拉;安德烈亚·马西尼 1 2004 一种时序逻辑方法,用于指定和证明有限状态并发系统的属性。 Zbl 0746.68030号 丹拉托托,M。;A.马西尼。 1 1989 模态逻辑、线性逻辑、最佳λ还原。 Zbl 0951.03019号 斯特凡诺游击队;西蒙·马提尼;安德烈亚·马西尼 1 1999 校对、测试和延续传球风格。 Zbl 1351.68058号 斯特凡诺游击队;安德烈亚·马西尼 1 2009 从未来回来。 Zbl 1242.03046号 安德烈亚·马西尼;卢卡·维甘诺;马尔科·沃尔佩 1 2010 CTL片段(^{*})的标记自然演绎系统。 Zbl 1211.03032号 安德烈亚·马西尼;卢卡·维甘诺;马尔科·沃尔佩 1 2009 从2-序列和线性嵌套序列到正规模态逻辑的自然演绎。 Zbl 1505.03054号 西蒙·马提尼;安德烈亚·马西尼;玛格丽塔·佐齐 2 2021 二维度量时序逻辑。 兹比尔1521.03029 斯特凡诺·巴拉泰拉;安德烈亚·马西尼 2 2020 量子lambda演算与测量的融合结果。 Zbl 1347.68133号 达尔拉戈,乌戈;安德烈亚·马西尼;玛格丽塔·佐齐 10 2011 量子态变换的模式演绎系统。 Zbl 1236.68073号 安德烈亚·马西尼;卢卡·维甘诺;玛格丽塔·佐齐 6 2011 捆绑分支时态逻辑的标记自然演绎。 Zbl 1252.03038号 安德烈亚·马西尼;卢卡·维甘诺;马尔科·沃尔佩 5 2011 量子隐式计算复杂性。 Zbl 1186.68209号 达尔拉戈,乌戈;安德烈亚·马西尼;玛格丽塔·佐齐 12 2010 从未来回来。 Zbl 1242.03046号 安德烈亚·马西尼;卢卡·维甘诺;马尔科·沃尔佩 1 2010 关于具有经典控制的无测量量子lambda演算。 兹比尔1166.68016 达尔拉戈,乌戈;安德烈亚·马西尼;玛格丽塔·佐齐 8 2009 校对、测试和延续传球风格。 Zbl 1351.68058号 斯特凡诺游击队;安德烈亚·马西尼 1 2009 CTL片段(^{*})的标记自然演绎系统。 Zbl 1211.03032号 安德烈亚·马西尼;卢卡·维甘诺;马尔科·沃尔佩 1 2009 无限时间证明理论的探讨。 Zbl 1059.03007号 斯特凡诺·巴拉泰拉;安德烈亚·马西尼 6 2004 稠密时间域上度量时态逻辑的无限变量。 Zbl 1049.03015号 斯特凡诺·巴拉泰拉;安德烈亚·马西尼 1 2004 对位置逻辑的实证研究。 Zbl 1023.03052号 斯特凡诺·巴拉泰拉;安德烈亚·马西尼 7 2003 共享证明网的一致性。 Zbl 1019.03040号 斯特凡诺游击队;西蒙·马提尼;安德烈亚·马西尼 7 2003 解析MELL证明网络。 Zbl 0974.68077号 游击队,S。;A.马西尼。 8 2001 校对网、垃圾和计算。 Zbl 0956.68024号 游击队,S。;马提尼,S。;A.马西尼。 5 2001 模态逻辑、线性逻辑、最佳λ还原。 兹比尔0951.03019 斯特凡诺游击队;西蒙·马提尼;安德烈亚·马西尼 1 1999 基于扩展序列的(线性)指数分析。 Zbl 0934.03077号 斯特凡诺游击队;西蒙·马提尼;安德烈亚·马西尼 9 1998 校对网、垃圾和计算。 Zbl 1063.03535号 游击队,S。;马提尼,S。;A.马西尼。 2 1997 模态证明的计算解释。 Zbl 0867.03016号 西蒙·马提尼;安德烈亚·马西尼 21 1996 关于指数规则的精细结构。 Zbl 0835.03020号 西蒙·马提尼;安德烈亚·马西尼 10 1995 线性逻辑的模态视图。 Zbl 0814.03038号 西蒙·马提尼;安德烈亚·马西尼 3 1994 二阶演算:直觉主义和自然演绎。 兹伯利0793.03013 安德烈亚·马西尼 8 1993 2-序列微积分:模态的证明理论。 Zbl 0819.03045号 安德烈亚·马西尼 14 1992 一种时序逻辑方法,用于指定和证明有限状态并发系统的属性。 Zbl 0746.68030号 丹拉托托,M。;A.马西尼。 1 1989 所有引用出版物 前5名被引用出版物 全部的 前5名103位作者引用 17 安德烈亚·马西尼 11 玛格丽塔·佐齐 9 斯特凡诺游击队 7 达尔拉戈,乌戈 7 诺里希罗·卡米德 4 斯特凡诺·巴拉泰拉 4 西蒙·马提尼 3 帕特里克·贝洛特 3 卢卡·保里尼 3 卢卡·罗维斯 2 马特奥·阿克拉维奥 2 布洛克-南内斯塔德,陶斯 2 亚历杭德罗·迪亚斯·卡洛 2 克劳迪娅·法根 2 尼古拉斯,猜猜看 2 Willem B.Heijltjes。 2 达米亚诺·马扎 2 卡洛斯·奥拉特 2 伊莲·皮门特尔 2 卢卡·维切利 2 卢卡·维甘诺 2 马尔科·沃尔佩 2 布鲁诺·泽维尔 1 贝尼亚米·阿卡托利 1 丹尼尔·艾哈曼 1 塞巴斯蒂安·巴丁 1 吉安路易吉·贝林 1 比姆博,卡塔林 1 拉尔斯·比克达尔 1 弗朗索瓦·博博特 1 皮埃尔·布德斯 1 托本·布吕纳 1 凯·布伦勒 1 萨马拉·伯恩斯 1 查克拉博蒂,米希尔·库马尔 1 克利斯朵夫·查尔顿 1 拉纳德·A·克鲁斯顿。 1 保罗·科波拉 1 玛丽亚·达帕兹·梅德罗斯 1 埃里卡·德·贝内代蒂 1 保林·雅各布 1 瓦莱里亚·德·佩瓦 1 保罗·迪·吉安贝拉迪诺 1 兰帕·多桑杰 1 艾米·费尔蒂(Amy P.Felty)。 1 藤田,健毅 1 福田洋介 1 马尔科·加博阿迪 1 Dan R.吉卡。 1 吉迪尼,奇亚拉 1 爱德华·赫尔曼·海尔 1 伊曼纽尔·海因里 1 哈利米,布里斯 1 一郎·哈索 1 北彦浩弘 1 胡杰森Z.S。 1 多米尼克·J·D·休斯。 1 Atsushi Igarashi 1 张俊英 1 川谷义彦 1 Max Iosifovich,卡诺维奇 1 卡夫沃斯,G.A。 1 小岛贤介 1 罗马库兹涅茨 1 比约恩·莱尔曼 1 安德烈亚·马吉奥洛·谢蒂尼 1 穆罕默德·尤斯里·马哈茂德 1 巴赛尔·曼纳 1 吉多·马丁内斯 1 阿娜·特蕾莎·马丁斯 1 约翰·克里斯托弗(John Christopher McCabe-Dansted) 1 迈克尔·门德勒 1 维吉尔·莫比尔 1 莫格尔贝里,拉斯穆斯·埃杰勒斯 1 尤伊托·穆拉斯 1 Yuichi Nishiwaki 1 冈田三弘 1 保罗·帕里森·托尔丁 1 约瑟夫·W·N·保卢斯。 1 罗曼·佩乔克斯 1 佩雷斯(Jorge A.Pérez)。 1 瓦伦丁·佩雷尔 1 毛罗·皮科洛 1 碧姬·品特卡 1 安德鲁·皮特斯(Andrew M.Pitts)。 1 拉马霍·马丁斯(Lamalho Martins,Lília) 1 库尔特·兰奥尔特 1 马克·亚历山大·雷诺兹 1 西蒙娜·隆奇·德尔拉·罗卡 1 安德烈·斯克洛夫 1 斯蒂芬·谢勒 1 贾扬塔·森 1 卢西亚诺·塞拉菲尼 1 丹尼尔·南特,索布里尼奥 1 马可·索列里 1 溅出物,Bas 1 肖恩·斯坦德弗 1 卢茨斯特拉汉堡 1 洛伦佐托托拉·德·法尔科 1 贝诺缬氨酸 …还有3位作者 全部的 前5名22篇连载文章中引用 10 理论计算机科学 7 信息与计算 7 骨髓间充质干细胞。计算机科学中的数学结构 5 纯逻辑与应用逻辑年鉴 3 自动推理杂志 3 应用非经典逻辑杂志 3 计算机科学中的逻辑方法 2 圣母院形式逻辑期刊 2 Studia Logica公司 2 数学逻辑档案 2 《数理逻辑季刊》 2 应用逻辑杂志 1 人工智能 1 哲学逻辑杂志 1 符号逻辑杂志 1 逻辑科公报 1 RAIRO公司。Informatique Théorique et Applications公司 1 函数编程杂志 1 数学与人工智能年鉴 1 RAIRO公司。理论信息学及其应用 1 符号逻辑述评 1 公理 全部的 前5名在7个字段中引用 72 数学逻辑和基础(03-XX) 38 计算机科学(68至XX) 13 量子理论(81-XX) 5 范畴理论;同调代数(18-XX) 1 阶、格、有序代数结构(06-XX) 1 微分几何(53至XX) 1 整体分析,流形分析(58至XX) 按年份列出的引文