提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/tocl/KupkePS22AU-库普克，克莱门斯澳大利亚-帕丁森，德克AU-施罗德，卢茨TI-算术模态逻辑中带全局假设的协同代数推理。JO-ACM事务处理。计算。日志。VL-23IS-2标准普尔-11:1EP-11:342022年上半年//DO-10.1145/3501300UR-（欧元）https://doi.org/10.1145/3501300UR-（欧元）https://www.wikidata.org/entity/Q114613905呃-