编辑配置文件（在新选项卡中打开） 肯·卡尼瓦 合著者距离 作者ID： 卡内瓦·肯 发布日期： 肯·卡内瓦 已编制索引的文档： 11出版物自2001年起 合著者： 5位合著者具有7联合出版物 92位合作作者 合著者 4 单作者的 2 诺里希罗·卡米德 2 Riichiro沟口 2 肯·佐藤 1 Philip H.P.阮。 1 佐藤东条 系列 5 新一代计算 1 人工智能 1 理论计算机科学 1 计算机基础理论 领域 10 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用16中的次12文件 引用人▼ 年份▼ 具有隐式负排序的顺序排序解析。 兹比尔1053.68694 肯·卡内瓦;佐藤东条 5 2001 带有谓词层次结构的顺序逻辑编程。 Zbl 1086.68026号 肯·卡尼瓦 4 2004 次一致计算树逻辑。 Zbl 1251.68227号 肯·卡内瓦;诺里希罗·卡米德 2 2011 一种用于元本体的有序量化模态逻辑。 Zbl 1142.03339号 肯·卡内瓦;Riichiro沟口 1 2005 受限UML类图的一致性检查算法。 Zbl 1177.68047号 肯·卡内瓦;肯·佐藤 1 2006 关于资源和信息的推理：线性逻辑方法。 Zbl 1315.03044号 诺里希罗·卡米德;肯·卡内瓦 1 2013 关于受限UML类图一致性检查的复杂性。 Zbl 1186.68052号 肯·卡内瓦;肯·佐藤 1 2010 用矛盾、矛盾和分包描述逻辑。 Zbl 1137.68055号 肯·卡内瓦 1 2007 关于资源和信息的推理：线性逻辑方法。 Zbl 1315.03044号 诺里希罗·卡米德;肯·卡内瓦 1 2013 次一致计算树逻辑。 Zbl 1251.68227号 肯·卡尼瓦;诺里希罗·卡米德 2 2011 关于受限UML类图一致性检查的复杂性。 Zbl 1186.68052号 肯·卡内瓦;肯·佐藤 1 2010 用矛盾、矛盾和分包描述逻辑。 Zbl 1137.68055号 肯·卡内瓦 1 2007 受限UML类图的一致性检查算法。 兹比尔1177.68047 肯·卡内瓦;肯·佐藤 1 2006 一种用于元本体的有序量化模态逻辑。 Zbl 1142.03339号 肯·卡内瓦;沟口理一郎 1 2005 带有谓词层次结构的顺序逻辑编程。 Zbl 1086.68026号 肯·卡内瓦 4 2004 具有隐式负排序的顺序排序解析。 Zbl 1053.68694号 肯·卡内瓦;佐藤东条 5 2001 所有引用出版物 前5名被引用出版物 全部的 前5名被7位作者引用 7 肯·卡内瓦 5 诺里希罗·卡米德 1 贝尔科娃，玛尔塔 1 马特·多斯塔尔 1 Riichiro沟口 1 Philip H.P.阮。 1 肯·佐藤 全部的 前5名8篇连载文章中引用 5 新一代计算 1 人工智能 1 信息科学 1 Studia Logica公司 1 理论计算机科学 1 逻辑、语言与信息杂志 1 应用逻辑杂志 1 计算机科学中的逻辑方法 在3个字段中引用 10 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文