理查德·威尔克
人员信息
其他同名人员
优化列表
2020年–今天
2022 【b1】 理查德·威尔克 :
关于依赖性和独立性的推理:团队和多团队。 德国亚琛RWTH大学, 2022 【j4】 达里安·哈斯 , 埃里希·格拉德尔 , 理查德·威尔克 :
将逻辑和逻辑与团队语义分离。 Ann.纯粹应用。 日志。 173 ( 10 ) : 103063 ( 2022 ) [j3] 理查德·威尔克 :
关于具有多团队语义的逻辑的Presburger片段。 Ann.纯粹应用。 日志。 173 ( 10 ) : 103120 ( 2022 ) [注2] 埃里希·格拉德尔 , 理查德·威尔克 :
具有多团队语义的逻辑。 ACM事务处理。 计算。 日志。 23 ( 2 ) : 13:1-13:30 ( 2022 ) [c2] 埃里希·格拉德尔 , 海扬·海拉尔 , 马蒂亚斯·纳夫 , 理查德·威尔克 :
半环语义学中一阶逻辑的零一定律和几乎必然值。 低收入国家 2022 : 41:1-41:12 [i3] 埃里希·格拉德尔 , 海扬·海拉尔 , 马蒂亚斯·纳夫 , 理查德·威尔克 :
半环语义学中一阶逻辑的零一定律和几乎必然值。 CoRR公司 abs/2203.03425 ( 2022 ) 2021 [j1] 马蒂亚斯·霍尔泽尔 , 理查德·威尔克 :
关于存在二阶逻辑和具有团队语义的逻辑的并集闭片段。 日志。 方法计算。 科学。 17 ( 三 ) ( 2021 ) 2020 【c1】 马蒂亚斯·霍尔泽尔 , 理查德·威尔克 :
存在二阶逻辑与团队语义逻辑的并集闭片断。 CSL公司 2020 : 25:1-25:16 [i2] 埃里希·格雷德尔 , 理查德·威尔克 :
具有多团队语义的逻辑。 CoRR公司 abs/2011.09834 ( 2020 )
2010 – 2019
2019 [i1] 马蒂亚斯·霍尔泽尔 , 理查德·威尔克 :
存在二阶逻辑与团队语义逻辑的并集闭片断。 CoRR公司 abs/1910.06057 ( 2019 )