编辑配置文件(在新选项卡中打开) 安娜·布卡洛 合著者距离 作者ID: 布加罗阿纳纳 发布日期: 安娜·布卡洛;A.布卡洛。 已编制索引的文档: 11出版物自1994年以来 合著者: 8位合著者具有10联合出版物 120位合作作者 全部的 前5名合著者 1 单作者的 6 朱塞佩·罗索里尼 2 卡斯滕·范尔曼 2 亚历克斯·K·辛普森。 1 法比奥·贝里西玛 1 马丁·霍夫曼 1 Furio Honsell 1 马里诺·米库兰 1 伊万·斯卡涅托 全部的 前5名系列 2 理论计算机科学 1 纯代数与应用代数杂志 1 圣母院形式逻辑杂志 1 纯逻辑与应用逻辑年鉴 1 逻辑、语言与信息杂志 1 函数编程杂志 1 逻辑与逻辑哲学 领域 7 范畴理论;同调代数(18-XX) 6 数学逻辑和基础(03-XX) 三 计算机科学(68至XX) 2 阶、格、有序代数结构(06-XX) 2 一般拓扑结构(54至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物被引用27中的次27文件 引用人▼ 年份▼ 语境理论的一致性。 兹比尔1092.68022 安娜·布卡洛;Furio Honsell;马里诺·米库兰;伊万·斯卡格内托;马丁·霍夫曼 10 2006 提升单子的等式概念。 Zbl 1022.18003号 安娜·布卡洛;卡斯滕·范尔曼;亚历克斯·辛普森 4 2003 线性逻辑中的模态弱于指数“当然”:代数语义和关系语义。 兹比尔0809.03010 安娜·布卡洛 4 1994 平衡空间的沉醉。 Zbl 1420.18006号 安娜·布卡洛;朱塞佩·罗索里尼 2 2014 极小时态逻辑的一个可区分模型定理。 Zbl 0843.03007号 法比奥·贝里西玛;安娜·布卡洛 2 1995 完整性和相关层。 Zbl 0933.18004号 安娜·布卡洛;朱塞佩·罗索里尼 2 1998 举起。 Zbl 0881.18005号 安娜·布卡洛;朱塞佩·罗索里尼 1 1997 等式提升单子。 Zbl 0966.68107号 安娜·布卡洛;卡斯滕·范尔曼;亚历克斯·辛普森 1 1999 完备性、共单子体和拓扑空间。 Zbl 1077.03037号 A.布卡洛。;Rosolini,G。 1 2006 平衡空间的沉醉。 Zbl 1420.18006号 安娜·布卡洛;朱塞佩·罗索里尼 2 2014 语境理论的一致性。 兹比尔1092.68022 安娜·布卡洛;Furio Honsell;马里诺·米库兰;伊万·斯卡格内托;马丁·霍夫曼 10 2006 完备性、共单子体和拓扑空间。 Zbl 1077.03037号 A.布卡洛。;Rosolini,G。 1 2006 提升单子的等式概念。 Zbl 1022.18003号 安娜·布卡洛;卡斯滕·范尔曼;亚历克斯·辛普森 4 2003 等式提升单子。 兹伯利0966.68107 安娜·布卡洛;卡斯滕·范尔曼;亚历克斯·辛普森 1 1999 完整性和相关层。 Zbl 0933.18004号 安娜·布卡洛;朱塞佩·罗索里尼 2 1998 举起。 Zbl 0881.18005号 安娜·布卡洛;朱塞佩·罗索里尼 1 1997 极小时态逻辑的一个可区分模型定理。 Zbl 0843.03007号 法比奥·贝里西玛;安娜·布卡洛 2 1995 线性逻辑中的模态弱于指数“当然”:代数语义和关系语义。 Zbl 0809.03010号 安娜·布卡洛 4 1994 所有引用出版物 前5名被引用出版物 全部的 前5名36位作者引用 4 朱塞佩·罗索里尼 三 马里诺·米库兰 2 詹姆斯·切尼 2 阿尔贝托·齐法格利翁 2 科科特,J.罗宾B。 1 纪尧姆·安巴尔 1 法比奥·贝里西玛 1 尼克·本顿 1 安娜·布卡洛 1 萨维里奥·西塔迪尼 1 埃里克·德·哈斯 1 艾米·费尔蒂(Amy P.Felty)。 1 菲奥雷,马塞洛·P。 1 朱利娅·弗罗索尼 1 加贝,默多克-詹姆斯 1 法比奥·加杜奇 1 罗伯特·伊恩·戈德布拉特 1 让·古鲍特·拉雷克 1 劳埃德·亨伯斯通 1 海兰德·J·马丁·E·。 1 石原、Hajime 1 诺里希罗·卡米德 1 卡瓦伊、达松吉 1 莱克,斯蒂芬 1 塞尔盖·伦格利特 1 路易吉·利科里 1 阿尔贝托·莫米利亚诺 1 乌戈·蒙塔纳里。 1 迈克尔·穆尔特加特 1 罗利·佩雷拉 1 戈登·普洛金(Gordon D.Plotkin)。 1 伊万·斯卡涅托 1 阿兰·施密特 1 卢茨·施罗德 1 塔尔莫乌斯塔卢 1 尼科洛·维尔特里 全部的 前5名12篇连载文章中引用 5 理论计算机科学 三 自动推理杂志 三 MSCS公司。计算机科学中的数学结构 1 哲学逻辑杂志 1 圣母院形式逻辑杂志 1 逻辑、语言与信息杂志 1 高阶和符号计算 1 埃尔肯特尼斯 1 RAIRO公司。理论信息学及其应用 1 应用逻辑杂志 1 同伦及相关结构杂志 1 第比利斯数学杂志 在5个字段中引用 18 数学逻辑和基础(03-XX) 14 计算机科学(68至XX) 9 范畴理论;同调代数(18-XX) 2 阶、格、有序代数结构(06-XX) 1 一般拓扑结构(54至XX) 按年份列出的引文