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

特里斯坦·查里尔

合著者距离
作者ID： 查里埃·特里斯坦“Charrier，Tristan”最近发表的zbMATH文章
发布日期： 特里斯坦·查里尔
已编制索引的文档： 4出版物自2018年起
合著者： 3位合著者具有4联合出版物
90位合作作者

合著者

0 单作者的
4 弗朗索瓦州施瓦岑特鲁伯
三 苏菲·平奇纳特
1 托马斯·博兰德

系列

1 人工智能
1 逻辑与计算杂志

领域

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

按年份列出的出版物

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

zbMATH Open中包含的引文

三出版物有被引用8中的次7文件 引用人▼ 年份▼
基于DEL的认知规划：可判定性和复杂性。 Zbl 1493.68359号
托马斯·博兰德；特里斯坦·查里尔；苏菲·平奇纳特；弗朗索瓦州施瓦岑特鲁伯
5
2020
公告协议的符号模型检查。 Zbl 1446.68090号
特里斯坦·查里尔；苏菲·平奇纳特；弗朗索瓦州施瓦岑特鲁伯
2
2019
动态认知逻辑与常识的复杂性。 Zbl 1418.03045号
特里斯坦·查里尔；弗朗索瓦州施瓦岑特鲁伯
1
2018
基于DEL的认知规划：可判定性和复杂性。 Zbl 1493.68359号
托马斯·博兰德；特里斯坦·查里尔；苏菲·平奇纳特；弗朗索瓦州施瓦岑特鲁伯
5
2020
公告协议的符号模型检查。 Zbl 1446.68090号
特里斯坦·查里尔；苏菲·平奇纳特；弗朗索瓦州施瓦岑特鲁伯
2
2019
动态认知逻辑与常识的复杂性。 Zbl 1418.03045号
特里斯坦·查里尔；弗朗索瓦州施瓦岑特鲁伯
1
2018
所有引用出版物 前5名被引用出版物
全部的 前5名

17位作者引用

2 安德烈亚斯·赫齐格
1 盖亚·贝拉迪内利
1 瓦夏克·贝勒
1 托马斯·博兰德
1 马丁·库珀。
1 马尔文·加廷格
1 李彦军
1 埃米利亚诺·洛里尼
1 福斯汀·马弗尔
1 弗雷德里克·马里斯
1 丹尼尔·米埃德马
1 伯恩哈德·内贝尔
1 伊莉莎·佩罗廷
1 Régnier，皮埃尔
1 Rasmus Krmmer Rendsvig
1 弗朗索瓦州施瓦岑特鲁伯
1 汉斯·皮特

2篇连载文章中引用

2 人工智能
1 信息与计算

在2个字段中引用

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

按年份列出的引文