A Bunched Logic for Conditional Independence
A Bunched Logic for Conditional Independence
复制标题
条件独立的捆绑逻辑
DOI：
10.1109/lics52264.2021.9470712
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Silva, Alexandra
中科院分区：
文献类型：
--
作者：
Bao, Jialu;Docherty, Simon;Hsu, Justin;Silva, Alexandra
