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

克里斯托弗·汉普森

合著者距离
作者ID： 汉普森·克里斯托弗最近由“汉普森，克里斯托弗”撰写的zbMATH文章
发布方式： 克里斯托弗·汉普森
外部链接： 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 Studia Logica公司
1 理论计算机科学
1 纯逻辑与应用逻辑年鉴
1 ACM计算逻辑事务

领域

9 数学逻辑和基础（03-XX）
7 计算机科学（68至XX）
1 生物学和其他自然科学（92-XX）

按年份列出的出版物

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

zbMATH Open中包含的引文

8出版物有被引用15中的次12文件 引用人▼ 年份▼
不确定命题双模逻辑和带计数的一元一阶线性时序逻辑。 Zbl 1354.03022号
克里斯托弗·汉普森;阿吉·库鲁茨
4
2015
带计数量词的可判定一阶模态逻辑。 Zbl 1400.03044号
克里斯托弗·汉普森
三
2016
具有对角线和故障计数器的模态产品逻辑的决策问题。 Zbl 1397.03023号
克里斯托弗·汉普森;基科特，S。;A.库鲁茨。
2
2016
对话中充满激情。 Zbl 1464.68379号
安德烈亚斯·西迪斯;克里斯托弗·汉普森;桑杰·莫吉尔;伊丽莎白·布莱克
2
2020
带计数的一元一阶线性时序逻辑。 兹比尔1356.03062
克里斯托弗·汉普森;阿吉·库鲁茨
1
2013
关于误差递增的计数器的终止问题。 兹伯利07121142
克里斯托弗·汉普森
1
2019
具有无穷规范公理化的非有限公理化模态乘积逻辑。 兹比尔1442.03011
克里斯托弗·汉普森;斯坦尼斯拉夫·基科特;阿吉·库鲁茨;塞尔吉奥·马塞利诺
1
2020
建立一个健全完整的对话系统来处理推理。 Zbl 07671033号
安德烈亚斯·西迪斯;克里斯托弗·汉普森;桑杰·莫吉尔;伊丽莎白·布莱克
1
2021
建立一个健全完整的对话系统来处理推理。 Zbl 07671033号
安德烈亚斯·西迪斯;克里斯托弗·汉普森;桑杰·莫吉尔;伊丽莎白·布莱克
1
2021
对话中充满激情。 Zbl 1464.68379号
安德烈亚斯·西迪斯;克里斯托弗·汉普森;桑杰·莫吉尔;伊丽莎白·布莱克
2
2020
具有无穷规范公理化的非有限公理化模态乘积逻辑。 兹比尔1442.03011
克里斯托弗·汉普森;斯坦尼斯拉夫·基科特;阿吉·库鲁茨;塞尔吉奥·马塞利诺
1
2020
关于误差递增的计数器的终止问题。 兹伯利07121142
克里斯托弗·汉普森
1
2019
带计数量词的可判定一阶模态逻辑。 Zbl 1400.03044号
克里斯托弗·汉普森
三
2016
具有对角线和故障计数器的模态产品逻辑的决策问题。 Zbl 1397.03023号
克里斯托弗·汉普森;基科特，S。;A.库鲁茨。
2
2016
不确定命题双模逻辑和带计数的一元一阶线性时序逻辑。 Zbl 1354.03022号
克里斯托弗·汉普森;阿吉·库鲁茨
4
2015
带计数的一元一阶线性时序逻辑。 兹比尔1356.03062
克里斯托弗·汉普森;阿吉·库鲁茨
1
2013
所有引用出版物 前5名被引用出版物
全部的 前5名

28位作者引用

4 克里斯托弗·汉普森
2 亚历山德罗·阿塔尔
2 苏加塔·戈什
2 阿吉·库鲁茨
2 李大竹
2 刘芬荣
2 涂亚欣
1 伊丽莎白·布莱克
1 亚历杭德罗·哈维尔·加西亚
1 塞巴斯蒂安·戈蒂弗雷迪
1 斯坦尼斯拉夫·基科特
1 罗马人孔查科夫
1 Alisa Kovtunova
1 刘、莫
1 安德烈亚·马祖洛
1 桑杰·莫吉尔
1 奥比·莱娃（Orbe Leiva），迭戈·S·。
1 安娜·奥扎基
1 阿南塔·帕德马纳巴
1 拉马努贾姆，R。
1 米哈伊尔·尼古拉埃维奇·里巴科夫
1 弗拉迪斯拉夫·里日科夫
1 艾哈迈德、塔雷克说
1 德米特里·什卡托夫
1 王燕京
1 弗兰克·沃尔特
1 安德烈亚斯·西迪斯
1 迈克尔·维克托洛维奇（Michael Viktorovich）
全部的 前5名

8篇连载文章中引用

2 Studia Logica公司
2 ACM计算逻辑事务
1 计算机与系统科学杂志
1 理论计算机科学
1 信息与计算
1 国际近似推理杂志
1 应用非经典逻辑杂志
1 人工智能研究杂志

在2个字段中引用

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

按年份列出的引文