×
作者ID: 发光二极管“Ledent,Jérémy”最近发表的zbMATH文章
发布日期: 杰雷米·莱登特
已编制索引的文档: 15出版物自2017年起,包括1个附加arXiv预打印
合著者: 13合著者具有14联合出版物
420位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

10出版物有被引用24中的次18文件 引用人 年份
用于研究分布式任务可计算性的动态认知逻辑的简单复杂模型。 Zbl 1497.03032号
埃里克·古堡;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆
5
2021
平等否定任务的动态认知逻辑分析。 Zbl 1496.03072号
埃里克·古堡;玛丽亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆
3
2020
并发规范超出线性化能力。 Zbl 07561456号
埃里克·古堡;杰雷米·莱登特;塞缪尔·米姆拉姆
3
2019
平等否定和其他认知覆盖任务的动态认知逻辑分析。 Zbl 1502.68195号
汉斯·范·迪特马什;埃里克·古堡;玛丽亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆
3
2021
用于研究分布式任务可计算性的动态认知逻辑的简单复杂模型。 Zbl 1498.03045号
埃里克·古堡;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆
3
2018
用于高阶模型检查的笛卡尔闭范畴。 Zbl 1460.68061号
马丁·霍夫曼;杰雷米·莱登特
3
2017
无限视界广泛形式的博弈,联合。 Zbl 07722654号
马泰奥·卡布奇;尼尔·加尼;克莱门斯·库普克;杰雷米·莱登特;弗雷德里克·诺德瓦尔·福斯伯格
1
2023
等式否定任务的无等待可解性。 兹比尔1515.68141
埃里克·古堡;玛丽亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆
1
2019
任务可解性拓扑方法的良好基础。 Zbl 07649942号
杰雷米·莱登特;塞缪尔·米姆拉姆
1
2019
合成博弈论,合成。 Zbl 1480.91052号
罗伯特·艾奇;布鲁诺加夫拉诺维奇;尼尔·加尼;克莱门斯·库普克;杰雷米·莱登特;弗雷德里克·诺德瓦尔·福斯伯格
1
2021
无限视界广泛形式的博弈,联合。 Zbl 07722654号
马泰奥·卡布奇;尼尔·加尼;克莱门斯·库普克;杰雷米·莱登特;弗雷德里克·诺德瓦尔·福斯伯格
1
2023
用于研究分布式任务可计算性的动态认知逻辑的简单复杂模型。 Zbl 1497.03032号
埃里克·古堡;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆
5
2021
平等否定和其他认知覆盖任务的动态认知逻辑分析。 Zbl 1502.68195号
汉斯·范·迪特马什;埃里克·古堡;玛丽亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆
3
2021
成分博弈论,成分。 Zbl 1480.91052号
罗伯特·艾奇;布鲁诺加夫拉诺维奇;尼尔·加尼;克莱门斯·库普克;杰雷米·莱登特;弗雷德里克·诺德瓦尔·福斯伯格
1
2021
平等否定任务的动态认知逻辑分析。 Zbl 1496.03072号
埃里克·古堡;玛丽亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆
3
2020
并发规范超出线性化能力。 Zbl 07561456号
埃里克·古堡;杰雷米·莱登特;塞缪尔·米姆拉姆
3
2019
等式否定任务的无等待可解性。 兹比尔1515.68141
埃里克·古堡;玛丽亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆
1
2019
任务可解性拓扑方法的良好基础。 Zbl 07649942号
杰雷米·莱登特;塞缪尔·米姆拉姆
1
2019
用于研究分布式任务可计算性的动态认知逻辑的简单复杂模型。 Zbl 1498.03045号
埃里克·古堡;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆
3
2018
用于高阶模型检查的笛卡尔闭范畴。 Zbl 1460.68061号
马丁·霍夫曼;杰雷米·莱登特
3
2017

按年份列出的引文