编辑配置文件(在新选项卡中打开) 布鲁斯科利,保拉 合著者距离 作者ID: 布鲁斯科利·波拉 发布日期: 布鲁斯科利,保拉 已编制索引的文档: 9出版物自1994年以来 合著者: 7合著者具有8联合出版物 106合作作者 全部的 前5名合著者 1 单作者的 6 阿莱西奥·古列尔米 2 汤姆·冈德森 2 米歇尔·帕里戈特 1 弗朗西丝卡·列维 1 乔治·列维 1 Maria Chiara Meo女士 1 卢茨斯特拉汉堡 系列 1 理论计算机科学 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 领域 8 数理逻辑与基础(03-XX) 6 计算机科学(68至XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用47中的次35文件 引用人▼ 年份▼ 关于深层推理的证明复杂性。 Zbl 1351.03056号 布鲁斯科利,保拉;阿莱西奥·古列尔米 16 2009 对证据搜索中的顺序性的纯粹逻辑描述。 Zbl 1045.68033号 布鲁斯科利,保拉 10 2002 通过原子流和阈值公式进行深度推理的拟多项式删减过程。 Zbl 1253.03086号 布鲁斯科利,保拉;阿莱西奥·古列尔米;汤姆·冈德森;米歇尔·帕里戈特 6 2010 约束逻辑程序中的编译构造否定。 Zbl 0938.68571号 布鲁斯科利,保拉;弗朗西丝卡·列维;乔治·列维;Maria Chiara Meo女士 5 1994 关于一阶线性逻辑的结构证明搜索。 Zbl 1097.03055号 布鲁斯科利,保拉;阿莱西奥·古列尔米 4 2006 逻辑编程证明理论基础教程。 Zbl 1204.68050号 布鲁斯科利,保拉;阿莱西奥·古列尔米 2 2003 关于媒体切换-媒体衍生的长度。 Zbl 1496.03237号 布鲁斯科利,保拉;卢茨斯特拉汉堡 2 2017 通过原子流和阈值公式进行深度推理的准多项式归一化。 Zbl 1448.03045号 布鲁斯科利,保拉;阿莱西奥·古列尔米;汤姆·冈德森;米歇尔·帕里戈特 2 2016 关于媒体切换-媒体衍生的长度。 兹比尔1496.03237 布鲁斯科利,保拉;卢茨斯特拉汉堡 2 2017 通过原子流和阈值公式进行深度推理的准多项式归一化。 Zbl 1448.03045号 布鲁斯科利,保拉;阿莱西奥·古列尔米;汤姆·冈德森;米歇尔·帕里戈特 2 2016 通过原子流和阈值公式进行深度推理的准多项式割消去过程。 Zbl 1253.03086号 布鲁斯科利,保拉;阿莱西奥·古列尔米;汤姆·冈德森;米歇尔·帕里戈特 6 2010 关于深层推理的证明复杂性。 Zbl 1351.03056号 布鲁斯科利,保拉;阿莱西奥·古列尔米 16 2009 关于一阶线性逻辑的结构证明搜索。 Zbl 1097.03055号 布鲁斯科利,保拉;阿莱西奥·古列尔米 4 2006 逻辑编程证明理论基础教程。 Zbl 1204.68050号 布鲁斯科利,保拉;阿莱西奥·古列尔米 2 2003 证明搜索中顺序性的纯逻辑描述。 Zbl 1045.68033号 布鲁斯科利,保拉 10 2002 约束逻辑程序中的编译构造否定。 Zbl 0938.68571号 布鲁斯科利,保拉;弗朗西丝卡·列维;乔治·列维;Maria Chiara Meo女士 5 1994 所有引用的出版物 前5名被引用出版物 全部的 前5名36位作者引用 9 卢茨斯特拉汉堡 4 罗斯·霍恩 4 奥赞·卡拉马诺·乌拉尔 三 阿莱西奥·古列尔米 2 戴尔·艾伦·米勒 2 阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 2 伊莱恩·皮门特尔 1 马特奥·阿克拉维奥 1 克里斯·巴雷特。 1 理查德·布鲁特(Richard F.Blute)。 1 安娜丽莎·博西 1 布鲁斯科利,保拉 1 詹姆斯·切尼 1 丹妮尔·奇菲 1 达斯,阿努帕姆 1 Ivan T.伊万诺夫。 1 Chuck Liang先生 1 卡琳·利奥吉尔 1 马明辉 1 索尼娅·马林 1 马里尼奥,胡里奥 1 盖·安德鲁·麦库斯克 1 莫雷诺·纳瓦罗,胡安·何塞 1 苏珊娜·穆尼奥斯·亨德斯 1 Nguyên,LêThành Dũng 1 诺瓦科维奇 1 卡洛斯·奥拉特 1 帕南加登,普拉卡什 1 理查德·吉尔斯 1 卢卡·罗维斯 1 阿莱西奥·桑塔马利亚 1 弗雷德里克·绍比恩 1 阿文·费尔南托 1 马尔科·沃尔佩 1 布鲁诺·泽维尔 1 徐文燕 全部的 前5名14篇连载文章中引用 4 理论计算机科学 三 纯逻辑与应用逻辑年鉴 2 MSCS公司。计算机科学中的数学结构 2 逻辑程序设计理论与实践 2 ACM计算逻辑事务 2 计算机科学中的逻辑方法 1 纯粹与应用代数杂志 1 Studia Logica公司 1 新一代计算 1 信息与计算 1 RAIRO公司。Informatique Théorique et Applications公司 1 逻辑、语言与信息杂志 1 应用逻辑杂志 1 伦敦皇家学会哲学学报。A.数学、物理和工程科学 在4个字段中引用 25 数理逻辑与基础(03-XX) 20 计算机科学(68至XX) 1 范畴理论;同调代数(18-XX) 1 量子理论(81-XX) 按年份列出的引文