编辑配置文件(在新选项卡中打开) 克里斯托弗·汉普森 合著者距离 作者ID: 汉普森·克里斯托弗 发布日期: 克里斯托弗·汉普森 外部链接: ORCID公司 已编制索引的文档: 12出版物自2012年起 合著者: 12位合著者具有8联合出版物 254合著作者 全部的 前5名合著者 4 单作者的 5 阿吉·库鲁茨 2 伊丽莎白·布莱克 2 斯坦尼斯拉夫·基科特 2 桑杰·莫吉尔 2 安德烈亚斯·西迪斯 1 迈阿扎梅尔 1 科斯塔斯·S·伊利奥普洛斯。 1 利姆,扎拉 1 塞尔吉奥·马塞利诺 1 Pissis,Solon P。 1 迪米特里奥斯·瓦拉查基斯 1 史蒂文·沃茨 系列 1 计算机与系统科学杂志 1 逻辑研究 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 ACM计算逻辑汇刊 领域 8 数学逻辑和基础(03-XX) 7 计算机科学(68至XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用13中的次11文件 引用人▼ 年份▼ 不确定命题双模逻辑和带计数的一元一阶线性时序逻辑。 Zbl 1354.03022号 克里斯托弗·汉普森;阿吉·库鲁茨 三 2015 具有对角线和故障计数器的模态产品逻辑的决策问题。 Zbl 1397.03023号 克里斯托弗·汉普森;南科他州基科特。;A.库鲁茨。 2 2016 对话中充满激情。 Zbl 1464.68379号 安德烈亚斯·西迪斯;克里斯托弗·汉普森;桑杰·莫吉尔;伊丽莎白·布莱克 2 2020 带计数量词的可判定一阶模态逻辑。 兹比尔1400.03044 克里斯托弗·汉普森 2 2016 建立一个健全完整的对话系统来处理推理。 Zbl 07671033号 安德烈亚斯·西迪斯;克里斯托弗·汉普森;桑杰·莫吉尔;伊丽莎白·布莱克 1 2021 关于误差递增的计数器的终止问题。 Zbl 07121142号 克里斯托弗·汉普森 1 2019 带计数的一元一阶线性时序逻辑。 Zbl 1356.03062号 克里斯托弗·汉普森;阿吉·库鲁茨 1 2013 具有无穷规范公理化的非有限公理化模态乘积逻辑。 Zbl 1442.03011号 克里斯托弗·汉普森;斯坦尼斯拉夫·基科特;阿吉·库鲁茨;塞尔吉奥·马塞利诺 1 2020 建立一个健全完整的对话系统来处理推理。 Zbl 07671033号 安德烈亚斯·西迪斯;克里斯托弗·汉普森;桑杰·莫吉尔;伊丽莎白·布莱克 1 2021 对话中充满激情。 Zbl 1464.68379号 安德烈亚斯·西迪斯;克里斯托弗·汉普森;桑贾伊·莫德吉尔;伊丽莎白·布莱克 2 2020 具有无穷规范公理化的非有限公理化模态乘积逻辑。 Zbl 1442.03011号 克里斯托弗·汉普森;斯坦尼斯拉夫·基科特;阿吉·库鲁茨;塞尔吉奥·马塞利诺 1 2020 关于误差递增的计数器的终止问题。 Zbl 07121142号 克里斯托弗·汉普森 1 2019 具有对角线和故障计数器的模态产品逻辑的决策问题。 Zbl 1397.03023号 克里斯托弗·汉普森;南科他州基科特。;A.库鲁茨。 2 2016 带计数量词的可判定一阶模态逻辑。 Zbl 1400.03044号 克里斯托弗·汉普森 2 2016 不确定命题双模逻辑和带计数的一元一阶线性时序逻辑。 兹比尔1354.03022 克里斯托弗·汉普森;阿吉·库鲁茨 三 2015 带计数的一元一阶线性时序逻辑。 Zbl 1356.03062号 克里斯托弗·汉普森;阿吉·库鲁茨 1 2013 所有引用出版物 前5名被引用出版物 全部的 前5名26位作者引用 4 克里斯托弗·汉普森 2 苏加塔·戈什 2 阿吉·库鲁茨 2 李大竹 2 刘芬荣 2 涂亚欣 1 亚历山德罗·阿塔尔 1 伊丽莎白·布莱克 1 亚历杭德罗·哈维尔·加西亚 1 塞巴斯蒂安·戈蒂弗雷迪 1 斯坦尼斯拉夫·基科特 1 罗马人孔查科夫 1 Alisa Kovtunova 1 刘、莫 1 桑贾伊·莫德吉尔 1 奥比·莱娃(Orbe Leiva),迭戈·S·。 1 阿南塔·帕德马纳巴 1 拉马努贾姆,R。 1 米哈伊尔·尼古拉埃维奇·里巴科夫 1 弗拉迪斯拉夫·里日科夫 1 艾哈迈德、塔雷克说 1 德米特里·什卡托夫 1 王燕京 1 弗兰克·沃尔特 1 安德烈亚斯·西迪斯 1 迈克尔·维克托洛维奇(Michael Viktorovich) 全部的 前5名8篇连载文章中引用 2 逻辑研究 1 计算机与系统科学杂志 1 理论计算机科学 1 信息与计算 1 国际近似推理杂志 1 应用非经典逻辑杂志 1 人工智能研究杂志 1 ACM计算逻辑汇刊 在2个字段中引用 7 数学逻辑和基础(03-XX) 7 计算机科学(68至XX) 按年份列出的引文