大卫·莱恩赫尔
人员信息
优化列表
2020年–今天
2024 [i2] 克里斯蒂安·卡钦 , 大卫·莱恩赫尔 , 托马斯·斯图德 :
协同知识。 CoRR公司 abs/2403.18646 ( 2024 ) 2023 【c3】 克里斯蒂安·卡钦 , 大卫·莱恩赫尔 , 托马斯·斯图德 :
多智能体系统的模态和论证逻辑(邀请谈话)。 CLAR公司 2023 : 3-8 【c2】 克里斯蒂安·卡钦 , 大卫·莱恩赫尔 , 托马斯·斯图德 :
协同知识。 SSS系统 2023 : 552-567 2022 [j1] 大卫·莱恩赫尔 , 佐兰·奥格尼亚诺维奇 , 托马斯·斯图德 :
交互式证明的逻辑。 J.日志。 计算。 32 ( 8 ) : 1645-1658 ( 2022 ) [c1] 大卫·莱恩赫尔 , 佐兰·奥格尼亚诺维奇 , 托马斯·斯图德 :
互动证明的逻辑。 LFCS公司 2022 : 143-155 2021 [i1] 大卫·莱恩赫尔 , 佐兰·奥格尼亚诺维奇 , 托马斯·斯图德 :
交互式证明的逻辑。 CoRR公司 abs/2109.00775 ( 2021 )