×
编辑配置文件（在新选项卡中打开）

洛佩斯·蓬博，卡洛斯·古斯塔沃

合著者距离
作者ID： lopez-pombo.carlos-gustavo公司最近的zbMATH文章由“López Pombo，Carlos Gustavo”撰写
发布日期： Lopez Pombo，Carlos G。;洛佩斯·蓬博（Lopez Pombo）、卡洛斯·古斯塔沃（Carlos Gustavo）;洛佩斯·蓬博，卡洛斯·古斯塔沃;Lopez Pombo，Carlos G。;卡洛斯·古斯塔沃·洛佩斯·蓬博;卡洛斯·洛佩斯·蓬博;卡洛斯·邦博。;卡洛斯·庞博
主页： https://www.dc.uba.ar/Members/clpombo网站/
外部链接： MGP公司·ORCID公司·ResearchGate研究之门
已编制索引的文档： 15出版物自2002年起
合著者： 17合著者具有15联合出版物
202位Co-Co作者
全部的 前5名

合著者

0 单作者的
6 托马斯·斯蒂芬·爱德华·迈鲍姆
4 Nazareno M.阿吉雷。
4 巴勃罗·卡斯特罗。
4 马塞洛·法比昂·弗里亚斯
2 玛丽亚诺·莫斯卡托（Mariano M.Moscato）。
1 贝内维特斯，马里奥·R·F·。
1 维克托·布拉伯曼
1 瓦伦特·卡萨诺
1 卡拉·德尔加多
1 马可·费利乌。
1 何塞·路易斯·费亚代罗
1 路易斯·马里奥·洛佩斯
1 阿古斯汀·埃洛伊·马丁内斯·苏涅
1 塞萨尔·穆尼奥斯。
1 阿尔弗雷多·奥利维罗
1 Ţuţu，伊奥努
1 伊格纳西奥·维萨尼

系列

1 计算的形式方面
1 逻辑与代数程序设计杂志

领域

13 计算机科学（68至XX）
6 数学逻辑和基础（03-XX）
1 阶、格、有序代数结构（06-XX）
1 一般代数系统（08-XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

5出版物有被引用10中的次9文件 引用人▼ 年份▼
在分类设置中管理软件系统的动态重新配置。 Zbl 1286.68070号
巴勃罗·卡斯特罗。;Nazareno M.阿吉雷。;洛佩斯·蓬博，卡洛斯·古斯塔沃;托马斯·S·E·迈鲍姆。
4
2010
中结构化规范的分类基础。 兹比尔1385.68023
巴勃罗·卡斯特罗。;纳扎雷诺·阿吉雷;卡洛斯·邦博。;迈鲍姆，T.S.E。
三
2015
fork代数中一阶线性时序逻辑的可解释性。 Zbl 1086.68086号
马塞洛·F·弗里亚斯。;洛佩斯·庞博，卡洛斯·G。
1
2006
作为一个足够丰富的普遍机构的福克代数。 Zbl 1235.03086号
Lopez Pombo，Carlos G。;马塞洛·弗里亚斯。
1
2006
基于命题表的证明演算，用于使用默认规则进行推理。 Zbl 1471.03015号
瓦伦特·卡萨诺;洛佩斯·蓬博（Lopez Pombo）、卡洛斯·古斯塔沃（Carlos Gustavo）;托马斯·S·E·迈鲍姆。
1
2015
中结构化规范的分类基础。 Zbl 1385.68023号
巴勃罗·卡斯特罗。;纳扎雷诺·阿吉雷;卡洛斯·邦博。;迈鲍姆，T.S.E。
三
2015
基于命题表的证明演算，用于使用默认规则进行推理。 兹比尔1471.03015
瓦伦特·卡萨诺;洛佩斯·蓬博（Lopez Pombo）、卡洛斯·古斯塔沃（Carlos Gustavo）;托马斯·S·E·迈鲍姆。
1
2015
在分类设置中管理软件系统的动态重新配置。 Zbl 1286.68070号
巴勃罗·卡斯特罗。;Nazareno M.阿吉雷。;洛佩斯·蓬博，卡洛斯·古斯塔沃;托马斯·S·E·迈鲍姆。
4
2010
fork代数中一阶线性时序逻辑的可解释性。 Zbl 1086.68086号
马塞洛·F·弗里亚斯。;洛佩斯·庞博，卡洛斯·G。
1
2006
作为一个足够丰富的普遍机构的福克代数。 Zbl 1235.03086号
Lopez Pombo，Carlos G。;马塞洛·F·弗里亚斯。
1
2006
所有引用出版物 前5名被引用出版物
全部的 前5名

20位作者引用

2 巴勃罗·卡斯特罗。
2 迭戈·马姆斯勒
1 阿雷塞斯，卡洛斯
1 瓦伦特·卡萨诺
1 玛丽·法雷尔
1 劳尔·费尔瓦里
1 哈布托姆·卡西·吉迪
1 马里奥·格雷舍尔
1 马格尼·哈夫雷恩
1 C.A.R.Tony Hoare
1 纪尧姆·霍夫曼
1 托马斯·斯蒂芬·爱德华·迈鲍姆
1 Möller，伯恩哈德
1 罗莎玛丽·莫纳汉
1 蒂尔·莫萨科夫斯基
1 詹姆斯·F·鲍尔（James F.Power）。
1 弗洛里安·拉贝
1 马库斯·罗根巴赫
1 纳维德·鲁克斯
1 安德烈·塔莱基

3篇连载文章中引用

1 计算的形式方面
1 计算机科学中的逻辑方法
1 程序设计中的逻辑和代数方法杂志

在2个字段中引用

8 计算机科学（68至XX）
5 数学逻辑和基础（03-XX）

按年份列出的引文