Institute for Theoretical Computer Science TU Dresden, Germany;
机译:具有交叉和对话功能的PDL:可满足性和无限状态模型检验
机译:带有常规包含公理的Converse PDL:MAS逻辑框架
机译:逆向PDL与多峰K的乘积
机译:带有交叉口和交流的PDL是可判定的
机译:它如何决定在该领土上?采矿冲突治理。 Andalgalá,Catamarca和Famatina,在La Rioja的病例。 (2005-2016)=谁决定领土?采矿冲突治理:西门田和名人的Andalgalá病例
机译:鉴定PDL1相关的生物标志物以选择PD1 / PDL1抑制剂的肺腺癌患者
机译:Coq构造型理论中逆PDL的完备性