×
作者ID: 梅拉塞吉奥“Mera,Sergio”最近发表的zbMATH文章
发布日期: 塞尔吉奥·梅拉
已编制索引的文档: 11出版物自2004年起
合著者: 16位合著者具有11联合出版物
465位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

8出版物有被引用43中的次28文件 引用人 年份
求图的团传递的算法。 Zbl 1163.90768号
吉列尔莫·杜兰;林敏驰;塞尔吉奥·梅拉;斯瓦尔基特,杰姆·L·。
13
2008
圆弧图子类上的clique-independent集算法。 Zbl 1104.05054号
吉列尔莫·杜兰;林敏驰;塞尔吉奥·梅拉;贾米·路易斯·斯瓦尔基特(Jayme Luiz Szwarcfiter)
10
2006
记忆逻辑的表达能力和可判定性。 兹比尔1156.03029
卡洛斯·阿雷塞斯;迭戈·菲格拉;圣地亚哥菲格拉;塞尔吉奥·梅拉
9
2008
记忆逻辑的表达能力。 Zbl 1247.03027号
卡洛斯·阿雷塞斯;迭戈·菲格拉;圣地亚哥菲格拉;塞尔吉奥·梅拉
6
2011
Helly圆弧图的Clique-independent集。 Zbl 1075.05573号
吉列尔莫·杜兰;林敏驰;塞尔吉奥·梅拉;贾米·路易斯·斯瓦尔基特(Jayme Luiz Szwarcfiter)
2
2004
记忆逻辑的基本模型理论。 兹比尔1260.03035
卡洛斯·阿雷塞斯;法孔多·卡雷罗;圣地亚哥菲格拉;塞尔吉奥·梅拉
1
2011
内存逻辑的表辅助和模型检查。 Zbl 1260.03036号
卡洛斯·阿雷塞斯;迭戈·菲格拉;丹尼尔·戈林;塞尔吉奥·梅拉
1
2009
内存逻辑的完整性结果。 Zbl 1245.03023号
卡洛斯·阿雷塞斯;圣地亚哥菲格拉;塞尔吉奥·梅拉
1
2012
内存逻辑的完整性结果。 Zbl 1245.03023号
卡洛斯·阿雷塞斯;圣地亚哥菲格拉;塞尔吉奥·梅拉
1
2012
记忆逻辑的表达能力。 Zbl 1247.03027号
卡洛斯·阿雷塞斯;迭戈·菲格拉;圣地亚哥菲格拉;塞尔吉奥·梅拉
6
2011
记忆逻辑的基本模型理论。 兹比尔1260.03035
卡洛斯·阿雷塞斯;法孔多·卡雷罗;圣地亚哥菲格拉;塞尔吉奥·梅拉
1
2011
内存逻辑的Tableaux和模型检查。 兹比尔1260.03036
卡洛斯·阿雷塞斯;迭戈·菲格拉;丹尼尔·戈林;塞尔吉奥·梅拉
1
2009
求图的团传递的算法。 Zbl 1163.90768号
吉列尔莫·杜兰;林敏驰;塞尔吉奥·梅拉;斯瓦尔基特,杰姆·L·。
13
2008
记忆逻辑的表达能力和可判定性。 兹比尔1156.03029
卡洛斯·阿雷塞斯;迭戈·菲格拉;圣地亚哥菲格拉;塞尔吉奥·梅拉
9
2008
圆弧图子类上的clique-independent集算法。 Zbl 1104.05054号
吉列尔莫·杜兰;林敏驰;塞尔吉奥·梅拉;贾米·路易斯·斯瓦尔基特(Jayme Luiz Szwarcfiter)
10
2006
Helly圆弧图的Clique-independent集。 Zbl 1075.05573号
吉列尔莫·杜兰;林敏驰;塞尔吉奥·梅拉;贾米·路易斯·斯瓦尔基特(Jayme Luiz Szwarcfiter)
2
2004

按年份列出的引文