编辑配置文件(在新选项卡中打开) 克里斯蒂娜·塞尔纳达斯。 合著者距离 作者ID: sernadas.cristina-s系列 发布日期: 克里斯蒂娜·瑟纳达斯;塞尔纳达斯,C。;克里斯蒂娜·塞尔纳达斯。 更多。。。较少的 已编制索引的文档: 74出版物自1986年以来,包括7本书 合著者: 31位合著者具有74联合出版物 763位合作作者 全部的 前5名合著者 0 单作者的 57 阿米尔卡·塞尔纳达斯。 35 乔安·拉斯加 15 保罗·C·马特乌斯。 9 卡洛斯·卡莱罗 7 詹姆·拉莫斯 6 沃尔特·亚历山大·卡尼埃利 6 马塞洛·埃斯特班(Marcelo Esteban Coniglio) 6 卢卡·维甘诺 4 JoséFélix科斯塔 2 路易斯·克鲁兹·菲利佩 2 汉斯·迪特·埃里奇 2 Paula Gouveia 2 安托尼奥·帕切科 2 哈维尔·平托(Javier A.Pinto)。 2 冈特·萨克 2 阿尔贝托·扎纳多 1 阿尔卡塞,L。 1 卡拉普萨,R。 1 罗希特·查达 1 斯特凡·康拉德 1 JoséLuiz Fiadeiro 1 Dov M.加巴伊。 1 戈麦斯、迪奥戈·路易斯·阿奎尔 1 阿尔弗雷多·亨利克斯(Alfredo B.Henriques)。 1 埃里萨·卡拉菲利 1 Wafik Boulos的Lotfallah 1 曼努埃尔·卡布拉尔·莫利斯 1 蒂尔·莫萨科夫斯基 1 克洛伊迪亚·努内斯 1 卡琳娜·吉拉迪·罗吉亚 1 皮埃尔·伊夫·肖本斯 全部的 前5名系列 12 逻辑与计算杂志 8 IGPL逻辑杂志 4 Studia Logica公司 三 计算中的文本 三 泛逻辑 2 信息学学报 2 符号逻辑杂志 2 《数理逻辑季刊》 1 信息处理信件 1 《计算机杂志》。A部分/B部分 1 哲学逻辑杂志 1 理论计算机科学 1 信息处理与控制论杂志 1 数据与知识工程 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 符号逻辑公报 1 数学与人工智能年鉴 1 国际不确定性、模糊性和基于知识的系统杂志 1 葡萄牙数学。Nova Série公司 1 应用逻辑杂志 1 应用逻辑系列 1 符号逻辑述评 1 数学课文 1 计算图书馆 1 程序设计中的逻辑和代数方法杂志 1 通用逻辑研究 全部的 前5名领域 61 数学逻辑和基础(03-XX) 21 计算机科学(68至XX) 5 范畴理论;同调代数(18-XX) 4 量子理论(81-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 概率论与随机过程(60-XX) 1 运筹学、数学规划(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 50出版物被引用200中的次94文件 引用人▼ 年份▼ 逻辑分析与综合。如何剪切和粘贴推理系统。 Zbl 1137.03001号 沃尔特·卡尼埃利;马塞洛·科尼格里奥;Dov M.加巴伊。;Paula Gouveia;克里斯蒂娜·瑟纳达斯 25 2008 作为范畴结构的逻辑纤维。 Zbl 0942.03064号 阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯;卡洛斯·卡莱罗 18 1999 纤维:完整性保护。 Zbl 0981.03011号 阿尔贝托·扎纳多;阿米尔卡·瑟纳达斯;克里斯蒂娜·瑟纳达斯 14 2001 调制纤维和塌陷问题。 Zbl 1043.03010号 克里斯蒂娜·瑟纳达斯;乔安·拉斯加;沃尔特·卡尼埃利。 11 2002 丰富逻辑的外部语义方法。 Zbl 1151.03324号 保罗·马特乌斯;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯 10 2005 关于逻辑的会议组合。 Zbl 1280.03034号 塞尔纳达斯,A。;塞尔纳达斯,C。;J·拉斯加。 8 2012 纤维化非真实功能逻辑:完整性保持。 Zbl 1015.03010号 卡莱罗,C。;卡尼埃利,W.A。;科尼格里奥,M.E。;塞尔纳达斯,A。;塞尔纳达斯,C。 8 2003 从数据类型到对象类型。 兹伯利0693.68010 汉斯·迪特·埃里奇;阿米尔卡·瑟纳达斯;克里斯蒂娜·瑟纳达斯 6 1990 逻辑的图形理论说明。 Zbl 1189.03036号 阿米尔卡·瑟纳达斯;克里斯蒂娜·瑟纳达斯;若昂·拉斯加;马塞洛·科尼格里奥 6 2009 导入逻辑。 Zbl 1280.03033号 乔安·拉斯加;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯 6 2012 概率情境演算。 Zbl 1314.68299号 保罗·马特乌斯;安托尼奥·帕切科;哈维尔·品托;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯 6 2001 情境演算中的不确定性和不确定性。 Zbl 1113.68532号 哈维尔·品托;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯;保罗·马特乌斯 5 2000 逻辑同步。 Zbl 0882.03008号 阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯;卡洛斯·卡莱罗 5 1997 通过纤维形成保存插值特征。 Zbl 1138.03010号 沃尔特·卡尼利;乔安·拉斯加;克里斯蒂娜·瑟纳达斯 4 2008 为量子系统的推理扩展经典逻辑。 兹比尔1273.03172 罗希特·查达;保罗·马特乌斯;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯 4 2009 逻辑参数化。 Zbl 0943.03007号 卡洛斯·卡莱罗;克里斯蒂娜·瑟纳达斯;阿米尔卡尔·塞尔纳达斯 4 1999 对象规范逻辑。 Zbl 0829.03013号 阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯;JoséFélix科斯塔 4 1995 量子机构。 Zbl 1132.03354号 卡洛斯·卡莱罗;保罗·马特乌斯;阿米尔卡·瑟纳达斯;克里斯蒂娜·瑟纳达斯 三 2006 通过矩阵逻辑的乘积保持Craig插值。 Zbl 1284.03214号 塞尔纳达斯,C。;J·拉斯加。;塞尔纳达斯,A。 三 2013 作为机构中参数化理论的概念建模抽象机制。 Zbl 0606.68101号 克里斯蒂娜·瑟纳达斯;阿米尔卡·瑟纳达斯 三 1986 组合概率自动机的预分类。 Zbl 0966.68096号 保罗·马特乌斯;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯 三 1999 光纤标记扣除系统。 Zbl 1011.03002号 若昂·拉斯加;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯;卢卡·维甘诺 三 2002 几乎处处量化的离散测度的完全公理化。 兹比尔1157.03014 路易斯·克鲁兹·菲利佩;乔安·拉斯加;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯 三 2008 光纤逻辑:过去、现在和未来。 Zbl 1268.03032号 卡洛斯·卡莱罗;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯 2 2005 通过翻译进行插值。 Zbl 1178.03043号 乔安·拉斯加;沃尔特·卡尼埃利;克里斯蒂娜·瑟纳达斯 2 2009 关于逻辑的图形理论纤维。 Zbl 1193.03056号 阿米尔卡·瑟纳达斯;克里斯蒂娜·瑟纳达斯;若昂·拉斯加;马塞洛·科尼格里奥 2 2009 通过抽象证明系统对演绎系统进行异质纤维化。 Zbl 1138.03011号 路易斯·克鲁兹·菲利佩;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯 2 2008 通过纤维化保存有限模型属性。 Zbl 1233.03034号 科尼格里奥,M.E。;塞尔纳达斯,A。;塞尔纳达斯,C。 2 2011 单扇出不可靠门逻辑电路的近似推理。 Zbl 1305.03034号 塞尔纳达斯,A。;J·拉斯加。;塞尔纳达斯,C。;马特乌斯,P。 2 2014 组合逻辑时保留可接受规则。 兹比尔1397.03049 乔安·拉斯加;克里斯蒂娜·瑟纳达斯;阿米尔卡塞尔纳达斯 2 2016 概率自动机的实现:分类方法。 Zbl 0965.18003号 保罗·马特乌斯;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯 2 2000 用于演进规范的两级时序逻辑。 Zbl 1043.68069号 肖本斯,P.Y。;G·萨克。;塞尔纳达斯,A。;塞尔纳达斯,C。 2 2002 逻辑和计算理论基础。第二次扩展版。 Zbl 1259.03006号 阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯 2 2012 关于组合连接词。 Zbl 1280.03035号 塞尔纳达斯,A。;塞尔纳达斯,C。;J·拉斯加。 2 2011 证明逻辑及其会议组合中可判定性的约简技术。 Zbl 07379167号 乔安·拉斯加;克里斯蒂娜·瑟纳达斯;沃尔特·卡尼埃利 1 2021 量子系统推理的时间逻辑。 Zbl 1189.81008号 保罗·马特乌斯;詹姆·拉莫斯;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯 1 2010 不可靠电路逻辑中的决策和优化问题。 Zbl 1405.03072号 J·拉斯加。;塞尔纳达斯,C。;马特乌斯,P。;塞尔纳达斯,A。 1 2017 导入逻辑:保持稳健性和完整性。 Zbl 1345.03052号 J·拉斯加。;塞尔纳达斯,A。;塞尔纳达斯,C。 1 2013 有限可加测度上几乎所有量化的完备性和插值。 Zbl 1295.03022号 乔安·拉斯加;Wafik Boulos的Lotfallah;克里斯蒂娜·塞尔纳达斯 1 2013 纤维作为双向运动包括不对称组合。 Zbl 1344.03031号 拉斯加,J。;塞尔纳达斯,A。;塞尔纳达斯,C。 1 2014 关于概率和逻辑。 Zbl 1448.03015号 阿米尔卡尔·塞尔纳达斯;乔安·拉斯加;克里斯蒂娜·瑟纳达斯 1 2017 关于可计算性的数学入门。 Zbl 1422.68001号 阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯;乔安·拉斯加;詹姆·拉莫斯 1 2018 基于事件的时间戳索赔逻辑。 Zbl 07377685号 詹姆·拉莫斯;乔安·拉斯加;克里斯蒂娜·瑟纳达斯;卢卡·维甘诺 1 2021 客观行为的制度。 Zbl 0941.03534号 阿米尔卡尔·塞尔纳达斯;JoséFélix科斯塔;克里斯蒂娜·瑟纳达斯 1 1994 信息系统中不断演变的逻辑规范。 Zbl 0905.03014号 斯特凡·康拉德;詹姆·拉莫斯;冈特·萨克;克里斯蒂娜·瑟纳达斯 1 1998 对象规范的表示语义。 Zbl 0910.68136号 阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯;卡洛斯·卡莱罗 1 1998 纤维模态一阶逻辑:完整性保持。 Zbl 1017.03009号 阿米尔卡·瑟纳达斯;克里斯蒂娜·塞尔纳达斯;阿尔贝托·扎纳多 1 2002 用真值标记的模态序列计算:切割消除。 兹比尔1086.03015 圣保罗Mateus;乔安·拉斯加;克里斯蒂娜·瑟纳达斯 1 2005 具有拓扑语义的光纤逻辑。 Zbl 1034.03015号 马塞洛·科尼格里奥(Marcelo E.Coniglio)。;阿米尔卡·塞尔纳达斯。;克里斯蒂娜·塞尔纳达斯。 1 2003 量子观测的概率逻辑。 Zbl 1515.03228号 塞尔纳达斯,A。;J·拉斯加。;塞尔纳达斯,C。;阿尔卡塞,L。;亨利克斯,A.B。 1 2019 证明逻辑及其会议组合中可判定性的约简技术。 Zbl 07379167号 乔安·拉斯加;克里斯蒂娜·瑟纳达斯;沃尔特·卡尼埃利 1 2021 基于事件的时间戳索赔逻辑。 Zbl 07377685号 詹姆·拉莫斯;乔安·拉斯加;克里斯蒂娜·瑟纳达斯;卢卡·维甘诺 1 2021 量子观测的概率逻辑。 Zbl 1515.03228号 塞尔纳达斯,A。;J·拉斯加。;塞尔纳达斯,C。;阿尔卡塞,L。;亨利克斯,A.B。 1 2019 关于可计算性的数学入门。 Zbl 1422.68001号 阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯;乔安·拉斯加;詹姆·拉莫斯 1 2018 不可靠电路逻辑中的决策和优化问题。 Zbl 1405.03072号 拉斯加,J。;塞尔纳达斯,C。;马特乌斯,P。;塞尔纳达斯,A。 1 2017 关于概率和逻辑。 兹比尔1448.03015 阿米尔卡塞尔纳达斯;乔安·拉斯加;克里斯蒂娜·瑟纳达斯 1 2017 组合逻辑时保留可接受规则。 Zbl 1397.03049号 乔安·拉斯加;克里斯蒂娜·瑟纳达斯;阿米尔卡尔·塞尔纳达斯 2 2016 单扇出不可靠门逻辑电路的近似推理。 Zbl 1305.03034号 塞尔纳达斯,A。;J·拉斯加。;塞尔纳达斯,C。;马特乌斯,P。 2 2014 纤维作为双向运动包括不对称组合。 Zbl 1344.03031号 J·拉斯加。;塞尔纳达斯,A。;塞尔纳达斯,C。 1 2014 通过矩阵逻辑的乘积保持Craig插值。 Zbl 1284.03214号 塞尔纳达斯,C。;J·拉斯加。;塞尔纳达斯,A。 三 2013 导入逻辑:保持稳健性和完整性。 Zbl 1345.03052号 J·拉斯加。;塞尔纳达斯,A。;塞尔纳达斯,C。 1 2013 有限可加测度上几乎所有量化的完备性和插值。 Zbl 1295.03022号 乔安·拉斯加;Wafik Boulos的Lotfallah;克里斯蒂娜·瑟纳达斯 1 2013 关于逻辑的会议组合。 Zbl 1280.03034号 塞尔纳达斯,A。;塞尔纳达斯,C。;J·拉斯加。 8 2012 导入逻辑。 Zbl 1280.03033号 乔安·拉斯加;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯 6 2012 逻辑和计算理论基础。第2版扩展版。 Zbl 1259.03006号 阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·塞尔纳达斯 2 2012 有限模型属性的纤维化保存。 Zbl 1233.03034号 科尼格里奥,M.E。;塞尔纳达斯,A。;塞尔纳达斯,C。 2 2011 关于组合连接词。 Zbl 1280.03035号 塞尔纳达斯,A。;塞尔纳达斯,C。;J·拉斯加。 2 2011 量子系统推理的时间逻辑。 Zbl 1189.81008号 保罗·马特乌斯;詹姆·拉莫斯;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯 1 2010 逻辑的图形理论说明。 Zbl 1189.03036号 阿米尔卡·瑟纳达斯;克里斯蒂娜·瑟纳达斯;若昂·拉斯加;马塞洛·科尼格里奥 6 2009 扩展经典逻辑用于量子系统的推理。 Zbl 1273.03172号 罗希特·查达;保罗·马特乌斯;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯 4 2009 通过翻译进行插值。 Zbl 1178.03043号 乔安·拉斯加;沃尔特·卡尼埃利;克里斯蒂娜·瑟纳达斯 2 2009 关于逻辑的图形理论纤维。 Zbl 1193.03056号 阿米尔卡·瑟纳达斯;克里斯蒂娜·瑟纳达斯;若昂·拉斯加;马塞洛·科尼格里奥 2 2009 逻辑的分析和综合。如何剪切和粘贴推理系统。 Zbl 1137.03001号 沃尔特·卡尼利;马塞洛·科尼格里奥;Dov M.加巴伊。;Paula Gouveia;克里斯蒂娜·瑟纳达斯 25 2008 通过纤维形成保存插值特征。 Zbl 1138.03010号 沃尔特·卡尼埃利;乔安·拉斯加;克里斯蒂娜·瑟纳达斯 4 2008 几乎在所有地方量化离散度量的完全公理化。 Zbl 1157.03014号 路易斯·克鲁兹·菲利佩;乔安·拉斯加;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯 三 2008 通过抽象证明系统对演绎系统进行异质纤维化。 Zbl 1138.03011号 路易斯·克鲁兹·菲利佩;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯 2 2008 量子机构。 Zbl 1132.03354号 卡洛斯·卡莱罗;保罗·马特乌斯;阿米尔卡·瑟纳达斯;克里斯蒂娜·瑟纳达斯 三 2006 丰富逻辑的外部语义方法。 Zbl 1151.03324号 保罗·马特乌斯;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯 10 2005 光纤逻辑:过去、现在和未来。 Zbl 1268.03032号 卡洛斯·卡莱罗;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·塞尔纳达斯 2 2005 用真值标记的模态序列计算:切割消除。 Zbl 1086.03015号 圣保罗Mateus;若昂·拉斯加;克里斯蒂娜·瑟纳达斯 1 2005 纤维化非真实功能逻辑:完整性保持。 Zbl 1015.03010号 加利福尼亚州卡莱罗。;卡尼埃利,W.A。;科尼格里奥,M.E。;塞尔纳达斯,A。;塞尔纳达斯,C。 8 2003 具有拓扑语义的光纤逻辑。 Zbl 1034.03015号 马塞洛·科尼格里奥(Marcelo E.Coniglio)。;阿米尔卡·塞尔纳达斯。;克里斯蒂娜·塞尔纳达斯。 1 2003 调制纤维和塌陷问题。 Zbl 1043.03010号 克里斯蒂娜·瑟纳达斯;乔安·拉斯加;沃尔特·卡尼埃利。 11 2002 光纤标记扣除系统。 Zbl 1011.03002号 乔安·拉斯加;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯;卢卡·维甘诺 三 2002 用于演进规范的两级时序逻辑。 Zbl 1043.68069号 肖本斯,P.Y。;G·萨克。;塞尔纳达斯,A。;塞尔纳达斯,C。 2 2002 纤维模态一阶逻辑:完整性保持。 Zbl 1017.03009号 阿米尔卡·瑟纳达斯;克里斯蒂娜·瑟纳达斯;阿尔贝托·扎纳多 1 2002 纤维:完整性保护。 Zbl 0981.03011号 阿尔贝托·扎纳多;阿米尔卡·瑟纳达斯;克里斯蒂娜·瑟纳达斯 14 2001 概率情境演算。 Zbl 1314.68299号 保罗·马特乌斯;安托尼奥·帕切科;哈维尔·品托;阿米尔卡塞尔纳达斯;克里斯蒂娜·瑟纳达斯 6 2001 情境演算中的不确定性和不确定性。 兹比尔1113.68532 哈维尔·平托;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯;保罗·马特乌斯 5 2000 概率自动机的实现:分类方法。 Zbl 0965.18003号 保罗·马特乌斯;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯 2 2000 作为范畴结构的逻辑纤维。 Zbl 0942.03064号 阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯;卡洛斯·卡莱罗 18 1999 逻辑参数化。 Zbl 0943.03007号 卡洛斯·卡莱罗;克里斯蒂娜·瑟纳达斯;阿米尔卡尔·塞尔纳达斯 4 1999 组合概率自动机的预分类。 Zbl 0966.68096号 保罗·马特乌斯;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯 三 1999 信息系统中不断演变的逻辑规范。 Zbl 0905.03014号 斯特凡·康拉德;詹姆·拉莫斯;冈特·萨克;克里斯蒂娜·瑟纳达斯 1 1998 对象规范的表示语义。 Zbl 0910.68136号 阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯;卡洛斯·卡莱罗 1 1998 逻辑同步。 Zbl 0882.03008号 阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·塞尔纳达斯;卡洛斯·卡莱罗 5 1997 对象规范逻辑。 Zbl 0829.03013号 阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯;JoséFélix科斯塔 4 1995 客观行为的制度。 Zbl 0941.03534号 阿米尔卡尔·塞尔纳达斯;JoséFélix科斯塔;克里斯蒂娜·瑟纳达斯 1 1994 从数据类型到对象类型。 Zbl 0693.68010号 汉斯·迪特·埃里奇;阿米尔卡·瑟纳达斯;克里斯蒂娜·瑟纳达斯 6 1990 作为机构中参数化理论的概念建模抽象机制。 Zbl 0606.68101号 克里斯蒂娜·瑟纳达斯;阿米尔卡·瑟纳达斯 三 1986 所有引用出版物 前5名被引用出版物 全部的 前5名120位作者引用 20 克里斯蒂娜·塞尔纳达斯。 17 阿米尔卡·塞尔纳达斯。 16 乔安·拉斯加 7 保罗·C·马特乌斯。 6 卡洛斯·卡莱罗 6 沃尔特·亚历山大·卡尼埃利 5 马塞洛·埃斯特班(Marcelo Esteban Coniglio) 4 佩德罗·巴尔塔扎尔 三 马克·艾吉尔 三 瓦夏克·贝勒 三 JoséFélix科斯塔 三 拉兹万·迪亚科内斯库 三 JoséLuiz Fiadeiro 三 诺里希罗·卡米德 三 Hector J.列夫斯克。 三 塞尔吉奥·马塞利诺 三 乔安·马科斯 三 詹姆·拉莫斯 2 亚历山大·阿提基斯 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 汉斯·迪特·埃里奇 2 里卡多·贡萨阿尔维斯 2 克劳迪奥·赫米达 2 罗旭东 2 马德拉,亚历山大 2 托马斯·斯蒂芬·爱德华·迈鲍姆 2 马丁斯(Manuel António Martins) 2 安德烈亚·莫迪多 2 乔治·巴利乌拉斯 2 卢卡·维甘诺 2 海因里希·西奥多 2 张成奇 1 杰拉德·奥尔温 1 彼得·F·阿恩特。 1 贾马尔·阿蒂夫 1 豪尔赫·贝尔。 1 弗兰克·巴比尔 1 巴博萨、路易斯·索亚雷斯 1 贝内维特斯,马里奥·R·F·。 1 安东尼斯·比卡基斯 1 伊莎贝尔·布洛赫 1 朱莉安娜·布埃诺·索勒 1 罗希特·查达 1 曹飞 1 科斯塔·莱特,亚历山大·费尔南德斯·巴蒂斯塔 1 杰拉尔多·科斯塔 1 路易斯·克鲁兹·菲利佩 1 达萨罗,法比奥·奥雷里奥 1 比扬·达瓦兹 1 埃德尔西奥·德索萨(Edelcio G.de Souza)。 1 德托莱多,吉尔赫梅·维琴丁 1 杰弗里·丹尼斯顿。 1 迪亚斯,迪奥戈·H·B。 1 卢克·狄更斯 1 德奥塔维亚诺,伊塔拉·洛夫雷多 1 卡洛斯·杜阿尔特(Carlos H.C.Duarte)。 1 弗南德斯(Víctor L.Fernández)。 1 福恩市长,大卫 1 Dov M.加巴伊。 1 哈伊姆·盖夫曼 1 丹尼尔·加恩 1 吉多·格拉迪 1 威廉·哈里森。 1 赫里萨菲斯·哈托纳斯 1 佩德罗·兰格尔·恩里克 1 安德烈亚斯·亨斯(Andreas V.Hense)。 1 黄忠强 1 Jean-Pierre Hubaux 1 塞琳·哈德洛特 1 安吉丽娜·伊利·斯特皮奇 1 尼古拉斯·R·詹宁斯。 1 蒋敏 1 科斯塔斯·库特拉斯。 1 梁和芳 1 Liaskos,Konstantinos B。 1 X·洛根。 1 安托尼亚州洛佩斯 1 Wafik Boulos的Lotfallah 1 保罗·马费齐奥利 1 埃文格洛斯·马克里斯 1 奥斯汀·C·6月,梅尔顿。 1 罗布·米勒 1 曼努埃尔·卡布拉尔 1 克里斯托斯·莫伊泽斯 1 拉贾戈帕尔·纳加拉扬 1 Cláudia Nalon 1 克里斯托斯·诺米科斯 1 克洛伊迪亚·努内斯 1 佐兰·奥格尼亚诺维奇 1 何塞·努诺·奥利维拉 1 奥兰德利,尤金尼奥 1 安托尼奥·帕切科 1 尼古拉斯·帕帕尼科劳一世。 1 家长,Xavier 1 巴甫洛维奇,杜什科 1 阿列克桑达尔·佩罗维奇 1 达兰·康西桑·平托 1 哈维尔·平托(Javier A.Pinto)。 1 豪尔赫·索萨·品托 1 克里斯托斯·兰苏迪斯 …还有20多位作者 全部的 前5名30篇连载文章中引用 11 Studia Logica公司 9 泛逻辑 6 应用非经典逻辑杂志 5 理论计算机科学 4 人工智能 4 计算的形式方面 4 数学与人工智能年鉴 三 应用逻辑杂志 三 符号逻辑述评 三 程序设计中的逻辑和代数方法杂志 2 信息学学报 2 信息处理信件 2 模糊集与系统 2 符号逻辑杂志 2 逻辑科公报 2 MSCS公司。计算机科学中的数学结构 2 《数理逻辑季刊》 2 符号逻辑公报 2 ACM计算逻辑事务 1 信息科学 1 哲学逻辑杂志 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 国际近似推理杂志 1 吉泰。实验与理论人工智能杂志 1 软计算 1 国际不确定性、模糊性和基于知识的系统杂志 1 并行与计算:实践与经验 1 圣保罗数学科学杂志 1 数学杂志 全部的 前5名10个领域引用 70 数学逻辑和基础(03-XX) 43 计算机科学(68至XX) 9 范畴理论;同调代数(18-XX) 4 一般代数系统(08-XX) 1 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 一般拓扑结构(54至XX) 1 代数拓扑(55-XX) 1 量子理论(81-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文